I guess it depends, Tony. Just assume the copy writer of Olympus was writing about baby elephants for the Asian market, about the equivalent of 100kg. Your camera was obviously on shoot in Africa and was tramped on by an outgrown African elephant. An Asian 20 year old elephant weighs about 2.5-.3.5 tons. While I saw in the Addo Elephant Park in South Africa elephants which were said to weigh up to 5 tons. http://goo.gl/SccFG and much taller.
I'm not an real photographer like you but even my limited eyesight can tell the camera pictured which looks like it fell off a bike is not the same as the one you introduced. That being said crushproof is different from falling two metres onto it's corner on a tiled floor which is what usually happens to my stuff.