So .. the federal employees can opt out - but the average Joe cannot ..??
As far as I know federal employees were never "opted in" in the first place.