In the time since I posted this, the buyer has acknowledge the issue publically and appears to be working to resolve it.
I just want to be honest.  It appears someone scammed him and paypal is busy unwinding his positions.

I'll post more as I have it.

I would be interested to know what happens next.

I am waiting for Face0ff to refund me 4.6613 BTC. If it doesn't happen in a few days, I will go after him like a hound. I will post here if I get my Bitcoins back from him.