Hi Ron. The problem simply vanished after the new buyer paid the bank he is borrowing from an additional $200. He made it clear he would eat that cost himself, and not ask me to cover. I never found out what it was all about, but the buyer said he is happy.
That $200 is probably for the bank or some title company to clear up any issue with the title.