... and they weren't kidding - if you're lucky, the ocean WARMS UP to about 50-55 degrees or so. I managed to do some snorkeling, but wasn't brave enough to jump in with all my gear.
However, the trip was not a total diving loss, I made the tour of some of the lakes and quarries which DID...