The IRS published 'COVID Tax Tip 2020-73 - Returning an Economic Impact Payment on 18-June-2020:
https://www.irs.gov/newsroom/returning-an-economic-impact-payment
So, I'm all set on this, and now know exactly what to do.
Thanks again all.
