There are like 3 orders of magnitude of budget difference; I'm sure a happy middle ground could be found. Even going back to 2010's budget would save $160M/year and still be 17x 2005's budget.