Please follow Alberta’s advice.
Many at IRS are incompetent.
They just put lien on my brother’s house because they couldn’t be bothered to turn the page showing where he’d already paid taxes on stock options that he’d exercised.
It's worth noting that in my case there was no incompetence on the part of the IRS. The incompetence was on the part of the taxpayer (me). LOL.