Shoot, I thread-dredged through the googles... Its ALL MY FAULT. :dunno:
"Self, 2015KJDHAWKHILL," I should have said to myself, "remember not to post on this thread in 2023..."
I stand by earlier comments that 9mm isn't a size that should be skipped in a 12 wrench set... or whatever size.