Then I agree; from what you've told us it would seem that the right to a deficiency on the HELOC should have been extinguished. (A lender holding both senior and junior liens on the same property could preserve the right to a deficiency judgment under a junior lien by electing judicial foreclosure of the senior lien.)

