La Giralda is a restaurant.