Puerta de Gredos is a bar offering a varied menu with well-prepared dishes.