Thanks Av8tor. Changing plugs sounds like a smart precaution.
The local NAPA auto parts store had the Champion plugs.
I had previously purchased the NGK replacement 1270 for the Champion RDJ7Y,
but the NGK appears to need a different spark plug cap.
Which NGK plug do you use?