Thanks and, yes, all that noted.

And to christuna, NGK today only lists 5K ohm resistor plugs. That's a change.

Ah, but I did find the reference for the NGKs I had installed until recently: BP5EFS. Apparently available here:
https://www.jdm-sparkplugs.com/shop/standard/bp5efs/

R