The weird thing is, I had this issue too - but didn't realize until now. I'm not sure if it's PayPal-related or what. My hunch is "no" because the IPN WAS reported, but the user's files did not get added to their account. The strangest thing is, we had another PayPal order come in this morning (half an hour ago) and it went through without a hitch.

Confusion remains...