ONe of the couple is in a government/state university job:
401K--1.5W (0.5W match up?)
403B--1.5W
457 plan--1.5W
Pension--matchup plus contribution--16% of one person's salary--about 1.6-2 W.
With this type of contributions and FSA accounts, it is possible to contribute to Roth IRA, I guess, another 1W.