I starting to think he may have sold it elsewhere and never bothered to check the forum account
Sent from my SM-G930V using Tapatalk
Talk to paypal again and explain what happened
I'm sure they will contact him and your refund will be taken care of.
I wouldn't go straight to making a PayPal claim, that might leave a mark on his PayPal record.