Lunch uppe i don Juliáns restaurang med Teide som majestätisk bakgrund.