Comment by virusduck

Reminds me of that age old question... We find all these dinosaur fossils in mines for metals and fuel. It makes you wonder if they were just another bunch of animals, what were they all doing mining for industrial materials?