I forgot that the gap size is part of the part number on NGK plugs. The -11 on the end is for 1.1mm or .040". They have a protector on the plug in the box so they don't get knocked around and change the gap. It doesn't hurt to check 'em, but I always found the few I checked spot on.
I think Sue only has about 65K miles. That means those Champions were put in not too long after it was new. I wonder why the originals got changed out so soon? That's assuming the originals weren't Champion.
Mark