Most of gators here are of more moderate size, of course, but there are enough large ones to know that they certainly get that big. There is one that has lived at Orton Plantation for maybe 50 years. They were guestimating that he was 10 feet long, but nobody was about to walk up and put a tape on him to find out . . . . so somebody had the bright idea to drive a couple of wooden stakes into the ground 10 feet apart in one of the spots where he likes to haul out and bask. Conveniently, he parked himself pretty much exactly between them - yup, he's 10 feet long!
Sounds like he appreciated someone marking out a reserved spot for him, lol