A judge who is recalled under this section who retired under chapter 83 or 84 of title 5 or to whom
section 7296(c)(1)(A) of this title applies shall be paid, during the period for which the judge serves in recall status, pay at the rate of pay in effect under
section 7253(e) of this title for a judge performing active service, less the amount of the judge’s annuity under the applicable provisions of chapter 83 or 84 of title 5 or the judge’s annuity under
section 7296(c)(1)(A) of this title, whichever is applicable.