You make it sound like such a wonderful place to dive. I especially like the opportunity for fresh gator bites.

Drat! And I've had to stop most diving activities.

Good luck on your exploration.