Paso del Teide is a restaurant offering traditional cuisine in a scenic environment.