I read somewhere yesterday that the 30 day RIF is not enforceable when the employees are on furlough due to a government shutdown. If they strike it's another issue