; (v) a nuclear materials courier described in section 8331(27) or 8401(33) of title 5, United States Code; (vi) a member of the United States Capitol Police; (vii) a member of the Supreme Court Police; (viii) a covered employee; or (ix) a special agent described in section 804(15) of the Foreign Service Act of 1980 ( 22 U.S.C. 4044(15) ). (2) Treatment of service after disability Unless a covered employee files an election described in paragraph (3), creditable service by the covered employee in a position described in paragraph (1)(A)(v) shall be treated as creditable service in a covered position for purposes of this Act and chapter 84 of title 5, United States Code, including eligibility for an annuity under section 233 of this Act or 8412(d)(1) of title 5, United States Code, and determining the amount to be deducted and withheld from the pay of the covered employee under section 8422 of title 5, United States Code. (3) Opt out In accordance with procedures established by the Director of the Office of Personnel Management, a covered employee may file an election to have any creditable service performed by the covered employee treated in accordance with chapter 84 of title 5, United States Code, without regard to paragraph (2). (4) Separation before retirement eligibility If a covered employee who has not filed an election described in paragraph (3) separates from service before the date on which the covered employee becomes entitled to an annuity under section 233 of this Act or 8412(d)(1) of title 5, United States Code, the covered employee shall be entitled to a lump sum payment from the Fund of the difference between— (A) the amount that was deducted and withheld from the pay of the covered employee