Incorrect.
Article 28 Section 3
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). Holiday
premium pay is paid in addition to any other premium pay granted for
overtime, night, or Sunday work and in addition to the hazardous duty pay
differential.
So you would get paid OT plus holiday for working Monday. And it's not on your bid days, it's for your actual RDOs that work week. People change RDOs all the time to get holiday pay