El Bocado Del Rey is a restaurant.