Don’t worry, they would send you a refund if you requested it, there would be no need to file a paypal dispute.