We should be able to do the same on earth first. Where's our underground Polar habitats? I personally see Musks' Boring company" stuff as interesting as the rockets, I wish it where cheaper to build cities/tunnels underground.