let me tell you something about working for a 24/7 tv channel: There are hundreds of people there, 24/7.
We get \'holidays\' in addition to our vaction time. The theory is, since you had to work on a holiday, you can take those 8 hours off at any other time during the year, or just get paid out the difference at the end of the year. You also get paid double time (and triple time for overtime) on a holiday. Probably the best way you could do it.