Actually he does get double time. 45 hours vacation pay plus 2 days holiday pay. So Thur & Fri he is paid double. At least that's how it is here.
Just like we get triple time?
Not really. I am paid, and so is Dave, for the holiday whether I work or not.
If I work, I am working for double time. Dave got his holiday pay, so his vacation pay for that day is straight time. He did get an extra days pay for Thursday, holiday and vacation.
I will make almost $1000 that day, but I am only working for double time. I will have already been paid $275 for the holiday.
Triple time does sound pretty good, though.