La Posada del Rey is a restaurant.