Sigh.
He paid through paypal, remember.
There is apparently also a credit card provider,
and the credit card provider claims to have handled the dispute.
Which means they either heard from this guy, or ...
Again, it's just not this complicated.
It's expensive and time consuming, but rarely complicated.