Prices of meals at Teide Observatory residence