El Patatón is a restaurant.