>>12628606All of it, so long as he cashes it out slowly so investors don't shit their pants. 5-10 billion a year will go a seriously long way. Mars is going to mostly be a matter of shipping, the actual payloads will cost fuckall in comparison. Hell once starlink is going he is going to have more cash than he can feasibly spend, if he is serious about this venture and isn't getting cucked by the government, people are going to be getting a crash lesson in economies of scale since they have totally forgotten what it is like post ww2.
Factories churning out hundreds or thousands of starship hulls a year, stacking them in fields like fucking wheat. Raptor production lines producing more engines than Toyota does. New gigafactories for every product Mars will need. Shipping out thousands of tonnes of electronic components so the colony can be essentially self sufficient with only basic metal and polymer production. Massive fuel depots in orbit made of barebones starships with the nose and ass cut off, stacked and welded into facilities that can hold gigalitres. Synod time? Off goes ten thousand starships.
A glorious vision of the future but there is no way the american government is going to let this shit happen.