I did some cavern diving back in the 80's in Florida after getting my PADI Cavern Diver cert. Did some limited penetrations diving some of the more popular caves. Peacock Springs, Orange Grove Sink, Blue Springs, Ginnie Springs, etc... I had planned on getting my cave certification, but just never got around to it. Not so easy to do here and I think not so many caves to dive. Probably won't ever do it now unless I end up back in Florida which is unlikely at this point.
I do enjoy the diving here... even though the water was 48F today