The following days pay a Holiday Pay Rate of Time-and-a-half:
4th Of July
Thanksgiving
Christmas Day
New Years Day