3718 meters vertically in one view from the plane approaching Tenerife Norte: so high does Teide's peak tower over sea level.