2129.70 Paid Holidays
   All Police Officers of the Department of Police shall be entitled to fifteen (15) holidays per year. Each Police Officer shall have the option of having up to fifteen (15) days off, or of having a lesser number of days off and receiving pay for the difference between the number of scheduled days off and the total number of holidays up to a maximum of fourteen (14) days for which he or she may elect to receive pay.
   In the event the Police Officer elects to take days off, they are to be scheduled in a way as not to impair the operation of the Shift or Bureau to which he or she is assigned. If the Police Officer has elected to work up to fourteen (14) of these extra days in lieu of days off, then he or she shall be compensated at his or her regular straight time rate of having worked on those days. He or she shall be paid a bonus of ten (10) hours for each of the extra days scheduled.
   The Police Officer who elects to take the bonus payment in lieu of the extra scheduled days off shall receive up to one hundred forty (140) hours of bonus pay to be distributed to him or her at the time he takes his or her regular vacation or in a separate check to be issued on a quarterly basis. The hours shall be payable at the rate of pay the Police Officer earns at the time these checks are dispersed.