> Mining through solid rock is not really that expensive these days.

If there would have been only solid rock the swiss would have build this tunnel centuries ago. There was a lot of slippery rock in between.