Long Shot - Villa in Tenerfe with Dome on Roof

Whilst hopelessy trying to find a place to turn around in Playa Paraiso (a
residential area on the Costa Adeje in Tenerife) I noted a villa on the edge
of this town, that had a dome on the roof (or as part of the roof
structure). Does anyone know here who it belongs to and if you can hire the
villa for holidays? It would be rather a nice combination of nice villa,
nice weather and good observing.

I know its a long shot, but Playa Paraiso is a holiday villa hiring type
place.

Thanks