I could not get the video to play tho it did show some still images.
I live in Florida and we do have crocs but only in the extreme Southern part of the state. From what I have seen and read, they are much worse than gators and gators are bad enough.
One of my earliest memories is of my Father killing a gator in a nearby pond. He shot it with a war bring back Luger. Back then it was standard procedure to kill every one you saw.
youtube link
Is he shooting a semi-auto? I didn’t think they were allowed.
Crocodiles are much more aggressive — and larger — than alligators. Caimans are usually a bit smaller but more aggressive.