Hi,
not sure if it's a British (since you use pounds?) thing, but I'm used to having discounts to be calculated over the total price including tax.
Version 9 is quite old and not officially supported anymore, did the issue appear after the hotfix? What hot fix version did you came from?
I see a discount fix in 9.0.23 on "E-commerce - Performance issue in Buy X Get Y discounts".