I've been in Central Fl., where they have plenty of gators. I've canoed a lot on the Withlacoochee River,, and saw quite a few.
I've also been scuba diving in springs where there were gators around. But most of those were under 7 ft.
I've also been diving in the Cooper River in SC with gators in the area. Only once did I have a good sized one "check me out," so to speak.
The one walking the golf course,, is a darn big one for sure.
And several years ago,, I had to deal with a nuisance gator with a permit to remove it,, but it wasn't over 7 ft.
I have a healthy respect for them, and give the bigger ones plenty of space.