It’s not like Musk hasn’t openly stated that the whole purpose of SpaceX is Martian colonisation. What do they think The Boring Company is really for? And Tesla, and Solar City for that matter. Perhaps if they aren’t smart enough to connect the dots they aren’t smart enough to be investing in high risk private companies.
If they are investing one companies resources they expect equity or payment, regardless of if the tunnels are useful for Mars.