It turns out they had not sent a revision request. They've sent one now.

I don't understand why a seller with 4000+ positive feedback and only 19 negs would be so desperate to wipe away one negative that they would replace plus allow me to keep the original (which is fixable) plus refund which they have now done. Essentially spending $12 plus 2 items for +1 feedback. eBay just gets weirder.