BTW, the experience in tunnel boring will also be needed on Mars. Drilling tunnels will be the cheapest method to produce a very large pressurized volume. Elon said they will need to bring the weight of a tunnel boring machine way down for that purpose. Typical machines he is using will weigh 1000t, too much for Mars.