After you file

Yes, the IRS letter cited five possibilities and one was the amount entered in the Recovery Rebate Credit.  I had read if you didn't get the full amount (my case - checked my bank statements - but will recheck), you could get it via the tax return.   If it comes down to just this, I will have to file a separate form to recover funds I did not receive.