Thank you for the advice. This is for 2020 tax year, so there is time to obtain a new one. The IRS is such a big agency, but I would like to query them directly. Do you have a suggestion as to who or which department within the agency might know the answer?
