I think it would be creepy to pet a crocodile and it was stuffed 😀

In BeoZoo we have one crocodile, the famous Muja, who is the legend of the zoo, and the oldest specimen of his kind in the world https://en.m.wikipedia.org/wiki/Muja_(alligator)

this is the only repril whose tail I have touched once.
He's not stuffed, he moved his tail when I touched him 😀