[quantified]

Going to Mars isn't necessarily a high priority for government funding if we are looking to trim the govt payroll by 2 million employees. With such a deficit and debt, it's kind of a silly endeavor. Musk can raise all the money he needs out of his net wealth.