Unfortunately, no. There’s no available deduction for purchasing a buyback credit in the year that she pays for them.
On the bright side, when she retires, she won’t have to pay income tax on the portion of her retirement pay reflecting the amount she paid in, since that income has already been taxed.