Used to go there when i lived in eustis.
Lake george had one that abt 13 ft long.
I grew up in North Florida in the 60’s and we used to swim in the lake with gators. They weren’t that big and they never bothered us. I was more afraid of stepping on a rattlesnake when Coon hunting at night.