The Tax-Payers' Tab: a Cool $9 Trillion and Then Some