Some of us like a good stroll through the grass. So do giant alligators, apparently.

The Lakeland PD, which calls the alligator “HUGE GINORMUS VERY LARGE,” reports that Lakeland local Kim Joiner captured the alligator on its constitutional at Circle B Bar Reserve, a wildlife preserve in Lakeland, not far from Tampa.

“He was the biggest gator I have seen out there. I have been going out there for years too,” Joiner told local news.

The gator is estimated to be about 15 feet long; if that’s accurate, the alligator, who has been nicknamed Humpback, could be of record size. Currently, the Florida state record for longest alligator is held by a male alligator who was 14 feet, 3-1/2 inches long, according to the Fish and Wildlife Conservation Commission. The largest alligator ever caught was 15 feet, 9 inches long and was captured in 2014 by a family in Alabama. That alligator is now on display at the Montgomery Zoo.