Does he know that a lot of workers have to work on these "non-working holidays"? I never had a labor day off until I got a desk job