I say cut them all by 25% and if they whine, fire them.
The entire federal work force should be reduced BIG TIME!
Especially the "non-essential" ones who take off time for any reason at all.
There are a lot of "non-essentials".