I did notice then that getting in and out of DC on the roads was a lot easier. Less traffic, kind of nice, actually.
It usually takes me 2.5 hours to get to work in DC. During government shutdowns I get there an hour earlier.