Sounds ok. But your 4th point.......
if they did not get the EIP the credit will already be included in the tax return refund. There won't be any extra credit to send.
