La Noria del Duende is a restaurant.