Did they pay via their PayPal account, or just via their credit/debit card without an actual PayPal account?
If they logged into PayPal then they will be able to see it in their account, otherwise it may take up to 3 business days for the refund to be reflected on their bank statement