CSRS is a defined benefit pension plan. The Feds who are complaining aren't paying taxes; they're paying into their own defined benefit pension plan.
Your right but there is a huge group that does pay SS taxes from 1987 on.