A 401K and Social Security should be enough for them.
While we're at it, we need term limits on all legislators.
And NO PENSIONS!
Federal employees hired since 1984 have a 401k & social security retirement system. Only those hired before 1984 are under CSRS and there are not many of them still working.