You're welcome. I suspect this happens from time to time, and the IRS is used to it. But they may send you a letter wanting explanation, and it may or may not delay your refund depending on when they catch it. As you mentioned, phoning the IRS once they open back up might be a good idea as you mentioned, and they can advise you further on what to expect. Good luck.
