“Yes, particularly for federal government (senators, representatives, president, vice-president, etc. It should all be converted to the same 401k crap the rest of us need to live with.”