"extended to 7/15 if the RMD was taken out after February 1"

I found these articles for you. The issue of 2 RMDs, one from each different account, in the same year and unwanted RMDs:

https://www.investopedia.com/articles/retirement/03/110503.asp

https://www.kitces.com/blog/2020-rmd-waived-cares-act-irs-notice-2020-23-fix-unwanted-rmd-rollover/

I would suggest that the second RMD amount gets turned into a Roth conversion, if there is no provision for rolling it. He pays taxes either way, but that would return it to a sheltered position with tax free earnings/growth from now on, and no further RMD requirement.