Snack Gredos is a restaurant with a covered terrace, open from early morning.