Should veteran workers be allowed to wear their service hats on holidays?