T i m wrote:

As an aside (and you seem to have a good handle on all this), I think
I understand because we have reciprocal relationships with the various
EU countries re health cover

EHIC is also valid in EEA countries and Switzerland. Must admit I
didn't realise it wasn't valid in IoM, I've travelled there without
separate insurance.