Gredos is a bar offering refreshments and drinks.