532.507—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.