I’ve since established that there is another minor issue also, that when a European VAT number is input, the shopping cart is meant to exempt the customer from VAT. This also isn’t working.
I have also now found the tax settings that were missing as my site is using WooCommerce Booster.
