Seems quite low. That sort of amount won't fund much more than the cup-holders.
Bingo. They're playing games and pilfering the US treasury in the bargain. The smart people know that attempting to colonizing any planet like Mars would be hopeless. But they get to keep their jobs and draw up exotic plans. At our expense.