My brother lives in Naples, Florida and said the gators can be rowdy this time of year.
Its been mating season but almost ended now.
Also last years batches of teenage males are setting off looking for their own ponds and running into established resident males who try to run them off. There was an exciting tussle in the pond his condo overlooks.
My Mom and I were just talking about how we would stop at odd little roadside attractions on our way [the old road before the interstate] to Florida one was at or near Okefenokee Swamp.
While we were at the attraction a poodle that had been left tied to the car handle in the parking lot had his owners get back to find an empty collar. We were told at the time a man was recently gotten off a grassy bank between the parking lot and the waterway.
Maybe people were more expendable back then but you sort of expected to be set upon by various wildlife, bugs, sunburn, heat, etc in South Georgia and Florida.
I have a diatribe on the Disney-fying of Florida and its wildlife somewhere working itself up
And, and if there were riparian plantings at the edge of the resort pond, even a low ones, as all well maintained bodies of water should have, they wouldnt have been as likely to enter. I do see there is a curbing at the waters edge that is meant to keep the shoreline from eroding but plantings would have served as a barrier as well. Just more of that fantasy all for good looks faking like an idyllic beach.
All IMO