When an employee works a holiday or day in lieu of a holiday, he/she shall be entitled to pay at the rate of his/her Base Pay, plus holiday premium pay at a rate equal to the rate of his/her Base Pay for that holiday work actually performed, which is not in excess of their regular tour of duty or is not overtime work as defined by 5 USC 5542(a).