That's roughly what I assumed about the state/federal split, although hedging our bets on federal bureaucracy's long-term sanity certainly seems... risky, lol. Especially now.