Unfortunately I've caught many gators in my life in the 15+ range
I say unfortunately as I look at them as a pain when I'm fishin bass/walleye
Biggest one I've ever had beside the boat was about 9-10 years ago----absolute monster----fall fishin Eyes---caught on 1/4 oz jig and worm---had to push 30lbs
He was in there gobblin up these nuisance rock bass that were set up on a rock ledge---baitfish---key