Well, if price of BTC 2x’s he can pay that tab pretty easily. No reason for him not to.

And that much starship launch volume is invaluably more than the rovers or whatever they’d be bringing up. Quick & dirty reliability test for the world to see, launch turnover times, etc