What should you do if you come across a man eating crocodile? Wipe it off, apologize, and leave him to finish his exotic meal in peace.