The original high bidder had a change of heart and paid the full amount today. I shipped it off today.
I called eBay to be sure his was a legit payment. The rep told me it was safe because he used a credit card to PayPal. If he'd have used PayPal directly, he could later claim I misrepresented the item and reversed the charge, or so he said. I hope I'm done with all this.