I understand some of the marines at pendleton are off from today until Jan 2. Perhaps we should bah humbug that also.
Certainly you’re not trying to compare Marines to some pencil pushers in Washington. If people want the day off that is what their vacation time is for.