Last time I was up there was around 1986, during field camp (geology). I was astounded at how much of that mountain had been mined (not that I was against, I was just in awe of all the work that had been done).
--well over half a billion tons is a lot of rock moved--