Minas de San José, "sandstranden" uppe på Teide.