Soon after we arrived someone asked "have you seen the alligator yet?" Wait, what? Suffice it to say we spent a lot of time looking in the water after that. Then I saw one. Then I saw one every day I was there. Turns out there are a number of small alligators in the lake, they are probably fed by hotel guests, and then they are removed when they get over 4 feet long.
I'd kind of like it if they left them in there to get huge, but that might be kind of dangerous, especially with all the kids running around the place.
The alligators' companions are large soft-shelled turtles--I suspect these are rescue animals given safe haven in the lake.