I disagree with the statement that Federal Employees pay taxes. No Public Employee pays taxes. Not federal, not State, not local employees pay taxes of any kind. The fact is that every dime a public employee receives is tax money someone from the private sector has paid into the system. The money any public employees returns to the system in the form of a tax is simply money that came from the tax coffer where it came from.
It's like dipping a bucket of water from a lake then pouring a little from the bucket back into the lake. Doesn't increase the amount of water in the lake, eh?