Sorry, my bad you are right it was 10mm, I have edited the post in case someone decided to follow it.
I did think about pressure leaking up the thread and ordered some Dowty sealing washers but they hadn't arrived when I fitted the gauge, fortunately, I haven't needed them, at least I have them...