Since you already have the plugs & if they are not installed yet, wonder if you would check the resistance of the plug using a meter. Wanted to see if they read similar to the 6R12 plug which is ~34K when new. Tks
(center electrode to spark plug wire terminal)