Anyone have any info on Gator Hole/Spring in the Santa Fe just outside of High Springs? Plan on doing a dive there and would like some input... Ken