I've done the math now several times, and I'm pretty convinced that the AE will match the ask and bid price to the actual ask and bid offer. I sold mgwBTC for 13750 even though the bid was for 13800, and I checked the buying account and it bought it for 13750, not 13800. Pretty sure there will not be a need to refund NXT which should make this Dutch auction a lot easier.