El Picadero is an Andalusian restaurant.