= £6,750 Sterling
Then you've got shipping and duty and VAT.
There are several small Hobies available in the UK - Dragoon, Twixxy etc priced at less than £6,000 delivered. Admittedly they couldn't hold a candle to the AO in performance!
I wonder what the total delivered to your door price for the AO would actually work out at?