Don't use paypal for a large transaction like this. The buyer can easily dispute it, issue a chargeback, and get their money back after it's been picked up, so you would be out both the machine and the money.
https://pinside.com/pinball/forum/topic/how-to-not-get-ripped-off-in-pinball-vids-guide#post-1813448