UPDATE:
Well they refunded my money. Maybe 20 emails back and forth, then there was PayPal, another 20 emails and phone calls.
Paypal operations is run by teenagers in some distant land. Clueless, useless, ineffective. The vendor eventually relented but PayPal would not transfer the funds...