If the repayment is more than $3,000, your client can take a credit for claim of right. Take a look at §1341.
