In the video they mention "the 11 foot gator was a common fixture, even had a name, 'Henry'..." Uh, anyone else see a problem with an 11 foot gator seen so frequently near a retirement community and they gave it a name? I mean really, "Henry" maybe Chompers, 'Chew'bacha, or "Sir Snacks a Lot"...but not Henry.
Eh, gators are so common down there it's not surprising at all. You see signs up around ponds sometimes but people just live with em. Depending on source and time frame of data, there are 3-10 attacks per year. Closer to the higher end of that range in recent years. Meanwhile, shark attacks in Florida are a 22/year for a five year average.
Not Florida, but I spent high school living on the water next to a slough called "alligator bayou". Paid them no attention most of the time. Neighbor did get permission from F&G to shoot one that bit his dog. Wakeboarded 10' from one one, there was some pucker factor there. They leave people alone 99.9% of the time.