@issybird, I seem to recall others posting that when they've used a code and had to have a purchase refunded that they were also successful in getting the code value back. But you'd need to ask for it, and maybe provide the receipt which shows the code discounted.
Worth pursuing with a 65% code at stake.