Requesting info from the Aussies on this board...

... or the Floridians, or anyone else who normally steps over alligators and crocs on their way to work.

There was a story this week of a 5-year-old boy in Queensland who was eaten alive by a crocodile while his brother watched. His remains were discovered "in an operation on the stomach of the crocodile."

It's a tragic story, but what puzzles me is this part:

The crocodile will be sent to a zoo or farm after the Doble family asked for it to be kept alive. Because it killed somebody it will not be put on display.

That's an admirably noble gesture on the part of the family. But it also means that the authorities were able to retrieve the body parts in some manner short of a necropsy. How is that done? Are there endoscopes with grasping forceps that are inserted transorally? Or does the croc undergo laparotomy and gastrotomy under general anesthesia? Inquiring minds want to know.

Thanks in advance.