Oh well, no harm done apart from my annoyance, and at least it's packed now so I will be able to send this easily when it does sell.
Since it turns out that the buyer (a) only joined eBay two days ago and (b) was based in China I'm feeling a little relieved.