... they will get full back-pay.

Any legitimate business would have gotten rid of about 25% of government workers years ago to avoid the financial crisis which now occurs on a regular basis with this oversized monstrosity.