2125.79 Paid Holidays
   All regular City employees who have completed the first sixty (60) compensated work days of their probationary period shall be entitled to fourteen (14) paid holidays as set forth below. To be entitled to receive pay for the holidays, the employee shall have worked or be on compensated day off on the day before and the day after the holiday.
   Each employee shall have the option of fourteen (14) days off scheduled during the year or of having seven (7) days off and receiving pay for seven (7) of the fourteen (14) holidays. In the event the employee elects to take the days off, then they are to be scheduled in a way as not to impair the operation of the Department. If the employee has elected to work the seven (7) extra days in lieu of taking days off, then he/she shall be compensated at his/her regular straight time rate for having worked on those days and shall be paid a bonus for having worked on the seven (7) extra days. The employee who elects to take the bonus payment in lieu of the extra scheduled days off shall receive seventy (70) hours of bonus pay to be distributed to him/her. The hours shall be payable at the rate of pay the employee earns for his/her vacation period.
   Effective January 1, 1988
New Year’s Day; Martin Luther King Day (3rd Monday in January); President’s Day (3rd Monday in February); Good Friday; Memorial Day (last Monday in May); Fourth of July; Labor Day; Columbus Day (2nd Monday in October); Veterans Day (November 11); Thanksgiving Day; Christmas Eve (the last regular work day before Christmas Day); Christmas Day; two (2) additional holidays.
   For all employees observing the regular Monday through Friday work schedule, in the event any of the above holidays fall on Saturday, the City shall celebrate the holiday on Friday, and in the event the holiday shall fall on Sunday, the City shall celebrate the holiday on Monday.
   The seven (7) major holidays are New Year’s Day, Martin Luther King Day, Memorial Day, Fourth of July, Labor Day, Thanksgiving Day and Christmas Day.