Pay for holiday work.

(a) An employee who is entitled to holiday premium pay and who performs work on a holiday which is not overtime work shall be paid the employee's rate of basic pay plus premium pay at a rate equal to the rate of basic pay. (b) An employee shall be paid for overtime work performed on a holiday at the same rate as for overtime on other workdays. (c) An employee who is entitled to holiday premium pay and who is required to report for work on a holiday shall be paid at least two hours of holiday pay whether or not work is actually performed.