Menus and prices of the best restaurants in Parque Nacional del Teide