A 10’ alligator is a good size gator but it’s certainly not huge. I live in a County in S.E. Texas where there are literally more gators than people. This silly woman would go bonkers during gator hunting season here. There is a public contest on who can “harvest” the largest gator.
On the other hand, if one becomes a problem, the Texas Parks and Wildlife will handle the problem.
If that’s not satisfactory, there’s always the “shoot, shovel and shut up” solution.
How would you rate this one http://gatoralleyfarm.com/attractions.htm . I lived in Charleston, SC years ago and a coworker, and his buddy, were fishing with glo poppers one night. They heard a noise and turned on their lantern to see what it was. He said they were surrounded by over a dozen alligators, one over 12’ long .... it was an estimate as I don’t think they bothered to measure it.