Refund should happen. because this isn't "discount" but rather "adjustment" of prices.