just the one crocodile, not like a species or anything

King K. Rool

I would like to remind everyone that the average length for modern male adult crocodiles are 13-16 feet

no, 9 feet as in 9 feet tall

this is a gator that towered 9 feet off the ground