El Muchacho Alegre is a restaurant.