That is an estimate. But if you take any three average government workers and do away with any one of them, the taxpaying public would never know the difference. I added 5% for fudge factor.
I believe that I'm in a position to be able to choose at least a few of those "workers". There's a couple of folks I know that think that their government paycheck is a welfare check, and they're about as willing as a welfare recipient to put up some sort of effort to earn their pay.