It’s from a zoo. This is my neck of the woods and the gators we have wild in the river here are mostly little bitty ones. A big one is 5-6 feet long. Big enough to do damage/kill but not the monsters you see in the zoo.
Sounds like your 5-6 footers would make even better wallets and gator nuggets. Lots of Cajun vids about harvesting gators using .22 rifles.
Nuggets from a 600 pounder could be a little tough.
;^)