Yeah in his TED talk he also went into some detail about how easy it is to control the atmospheric pressure in tunnels. The boring technology is just too obviously synergistic with all concerns about habitats on Mars.