After ages of pulling my dipstick out and allowing oil to drip on that top plug wire, the outer jacket has separated from the rest.
I think those were 8mm.
What brand are you guy's running?
WOW look how crusty that plug looks!
Long ago I separated the sections from between the header ports and used copper gaskets...no leaks!