El Junquito is a restaurant.