El Aleteo is a restaurant.