The inside agreement language pertaining to holidays is as follows:
Section 3.02. During the regularly established workweek, all overtime worked Monday
through Saturday shall be paid at the rate of time and one-half (1 1⁄2). All work done on
Sundays and the following holidays shall be paid for at the double-time rate: New Year’s
Day, Martin Luther King Jr. Day, Memorial Day, July 4th, Labor Day, Veteran’s Day,
Thanksgiving Day, and Christmas Day. In the event a holiday falls on Saturday, the
holiday shall be celebrated on the preceding Friday. In the event a holiday falls on
Sunday, the holiday shall be celebrated on the following Monday. (Given a Sunday
holiday, double-time would be both Sunday and Monday.)