The gator hole is the far south end of what you called the Gator Hole. Back in 2013-14 when Hog Waller flooded that was one of the first places where water would stand, and a friendly little Gator would always be there waiting for us. He soon grew up and was hauled back into the swamp but the name stuck. check out my channel, I have a lot of videos from Hog Waller, no need to subscribe, I'm just here to share, thought you might enjoy some of the history