Pet crocodiles in the UK have to be micro chipped.
(Yes, people do keep crocodiles as pets. In fact in 2010 there were 72 licensed crocodiles and alligators kept as domestic pets, but no one knows how many are being kept unlicensed.
I wonder what they do when it's time to go walkies.)
