. . . "Employment contracts and agreements, such as collective bargaining agreements, may mandate holiday pay and holiday overtime benefits (such as double-time pay for holiday work) that state and Federal laws don't." . .