But do they? Is this enforced?
Yes, unless they simply charge off the debt, release their lien and walk away - which is happening more and more.