This may be a dumb question... My husband is a new hire (april) and I was looking at his pay registers and was wondering if he gets paid for the major holidays...July 4, Labor Day etc. He is on reserve and having the extra pay would be nice but I don't see that shown anywhere. Does anyone have some insight on that? Thanks!!