Very sad Red. Living in Florida as I believe you do; we learn to have great respect for deep water and the ocean. You just cannot screw up because your life depends on it.
We have caves galore in Florida that every couple of years someone does something stupid and loses their life................
Got my NAUI card in 1973, the 70’s had way too many cave divers dieing in Florida. I always stayed away from cave dives. I like a clear path to the surface. Got my Nitrox in 2005. There are way too many good things to see in the gulf or the atlantic that are at less than 60 feet. Always planned for no decompression dives, and no more than 3 tanks over a weekend. And when gators used to be scarce, I used to love to freshwater dive in Florida. Lots of life, alligator gars, turtles ,fish and fossils.