I had something similar happen, if Paypal doesn't come through (and they probably will) it's not that big a deal to do a chargeback with your credit card company. That's what I ended up having to do once, and it didn't have any repercussions with Paypal.