Thank you. It concerned me that IRS.gov said there was no record of the return. Do you know if they only show a record when the refund is processed?
