Hi there -
You are all correct that 3-5 days is the standard but may depend on the buyer's credit card issuer. I would say that if a week passes, she could contact Etsy directly, but we haven't seen any issues of refunds not getting the buyer.
Camilla