I’m taking a poll: how many people who are not in government jobs have today off for Veteran’s Day?