A federal bureaucrat in metro DC often makes more than $100,000/year.
It would often take a very large pay cut to motivate a fat cat bureaucrat to find a private sector job.
These are not defense officials. They are defensive officials. A boot in the ass should help.