Yeah FYI work, if it's too busy to give everyone the day off in a very non-critical industry, it's not actually a holiday. Not a veterans day fan, but don't tell me it's a holiday when everyone who actually produces something has to work.