That’s just an old fully grown gator. Nothing unusual.
Yep. That’s a big one, but we’ve got gators that size on the local golf courses.