I'm not sure how the debit card was run but I would think they'd be able to push a refund without needing the card details again (i.e. just using the authorization code). If rewards aren't a huge worry for you, would it be possible for them to refund the credit card transaction instead? That might be a bit easier for them to deal with, especially if their system handles debit cards significantly differently than credit.