We have a new feature coming up where you can "block" a buyer's email and the sale for that buyer will not be processed by us. So in case where IPN is delayed and you manually send the code to the buyer, you can block that buyer for a couple days so when PayPal finally send the
IPN, buyer won't get the code again.