How Long Does It Take PayPal to Process a Refund?

PayPal is great for making online payments, but what happens when the sale goes wrong, and you need to claim a refund?