Customer did not catch it, so I sent him an email to check on his PayPal.
Two distinct PayPal transaction IDs, but only the later one is associated with eBay sale.
We caught it right away because we match every payment to it's orders before the order is processed
How is this even possible? eBay should prevent checkout for already paid item.