Riiiiight. I’m sure they have a slightly different version of both.
No, the same as all government employees have. The 1983 agreement Reagan and Tip O’Neill worked out to save SS and Medicare for 75 years made all new hire government employees pay into SS. They were already paying into Medicare. I say that advisedly having worked for the federal government for 36 years.