By the way, shouldn’t it be a dead end? Shouldn’t it be private? If it is public record, how did you think you were going to find it from an IRS case number?
Probably. I don't remember if liens are considered to be part of the public record, or not. If I correctly recall, however, they are.
Please stay focused: folks were worried that she'd been shipped off to the Gulag, and I questioned why they were worried. It's as simple as that.