And that FED subsidized coverage is paid for with what? Those monies have to be in the budget.
Just print it. The currency is really worthless anyway.