How much of a lien?
I don’t know.
We were advised the bank was going to offer 10% of some unknown amount to settle it.