Observatoire astronomique à Roque de los muchachos, dans l'île de la Palma, île des Canaries, Spa