“Government workers should pay into Social Security, like everyone else, and get that, and any 401(k) plan they use. The matching funds should be the same as the average worker, 3%.”