open a dispute, then his money will be blocked. However, if he took the money away already, paypal can not do anything.
Does this mean, if he transferred the funds from his account? Damn, that would suck hard. There would have to be a way for PayPal to compensate.