El Tinajero is a restaurant.