Just found a neat tool for IRS liens

[Ramesh Nyberg]

I was looking at potential targets in my County's Tax Deed Auction list. The title report listed an IRS lien, but it didn't have any documentation of how much the lien was for. I found this https://irs-liens.com/
I searched by zip code, and it came up with hundreds of liens, so I just did "find on this page" and located my owner, and hence, the amount of the lien. Best of all it was free.