By the way, an elephant trainer in Ontario had his Tilley hat snatched from him and eaten by elephants three times. It was still wearable. As it happens, I've had a Tilley hat for 22 years. I'm trying to work out whether I can get it down in one as I'd still like to wear it afterwards. There wouldn't be any other takers. This looks a bit off-topic, though let's remember that elephants make TRUMPeting noises...