El Buque is a restaurant.