Federal workers are actually better off thanks to shutdown,