Don't worry. It shouldn't happen again. It was over a half hour period yesterday when they were doing a software upgrade on eBay. 

Call Paypal and, even if the buyer doesn't pay again, they should issue a discretionary payment.