On a 440 with stock heads, how much distance is there between the top of the piston and the spark plug when the piston is at TDC? I want to try the Champion RJ12YC plugs that this forum recommends but it is much longer than the Bosch plug that is currently installed....it's like twice the length.