Duplicate payments for the same EIN and Tax Year would get refunded by the IRS without further intervention. I imagine they have a lot of this from the delayed mail this year.

Otherwise, you can certainly have this person call the IRS or do it for them, but I would give it until mid-Jan to see if the refund check just shows up.