We have a shutdown but government workers didn't have to use up their vacation days, so in a sense they're better off.