Pretty cool story, but not that unbelievable. That's an American Crocodile in Costa Rica which are quite a bit more shy/docile than old world crocs, even though they can still get pretty big.