Those who are following my Paypal story, here is an update.
Finally they responded and returned the funds to the buyer under their seller protection policy. Go figure. The buyer never complained, it was a legitimate transaction…
Oh well. I will never use Paypal again. I recommend you do the same.