A friend came by and told me more.
Apparently the croc was on the bank by the side of the road between the big
and little lagoon. The kid was rolling a log on the road and rolled it into
the side of the croc (not sure where the parents were) the croc snapped at
the kid but the log hit the kid first kind of protecting his face. He
ended up with some croc teeth holes in the top of his head and cheek which
the hospital in Manzanillo stitched up.