A pay cut is usually a doorway to the exit
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.