That looks cool! Well, maybe not so much in the winter and it makes sense that it would be closed during the pandemic. It sounds like it would be bustling with activity during any other normal, non-plague-ridden summer.

It sort of reminds me of the roman bath in southern Spain. There was a cave with a natural spring inside. A roman arch marks the entrance. I wasn't able to get there with the camera, though.