Yeah; come to think of it, any reasonable project of bootstrapping a viable Mars colony with present-era tech would have to involve tunnelling, as it offers many benefits at the cost of only shipping construction equipment and delivering electricity. I could totally believe Elon has Mars in mind with this project.