ngk plug out - was this factory or does this mean someone else changed plugs prior to my 79,000 mile purchase??? also, why do you think new denso plug is almost an 1/8'' taller??