Your best bet for accurate info is call the lender and ask them.
35+ yrs ago I called my lender, they sent me to a local bank with the buyer. Buyer paid it off, bank got me the letter of release in less than an hour, buyer paid me the balance and it was a done deal.