Yes. Another no brainer. And we should scrap pensions for all public service employees, especially members of Congress and replace them with a 401k type of plan. Congressional members contribute money, up to X percent of their pay, and the government contributes a percent up to a certain amount. But when your government service ends....you leave with your 401k, no lifetime pension.