9 tons at the heavier, revised estimate? Elephants can weigh close to 7 tons. Thanks for ruining my childhood
I felt that way also when I read about T-Rex size estimates some years ago. Then they were six or seven tons (i.e., elephant-sized). But I had to remember that they were not, of course, the elephants of their time. They were the tigers of their time. So, you scale a tiger up to elephant size and you've got a pretty impressive predator.