Should not even be a story. If I was the Capt I would not want anyone outside the dept to know. These folks choose their profession and then want to whine about working Holidays. Bet he got time and a half plus an extra day off. Thats what I got when I worked for the state. Do you know how many people work on Holidays. How about all the people who wish they had a job at all. I use to be in the hotel business and worked every holiday all year long!!!Didnt complain just did it.