Well, he is right about federal employes in general. The problem is that there are too many of them. Virtually every office is stuffed with too many employees.
As Margaret Thatcher asked when she assumed the Prime Ministership, “What is that we are doing with 566,000 that we can’t do with 500,000?”
(And even she couldn’t get rid of the NHS.)