Update: Credit received from the merchant today for GBP 723. The average exchange rate used by the merchant with the dcc was 1.6247. The average XE.com exchange rate was 1.5759. A substantial difference when the amounts totalled around GBP 21K. Lesson learned.