a friend of mine installed some NGK 6510's in his car after speaking with his tuner. after second guessing him and asking way too many other people, he is nervous that they are the wrong plugs. does anyone here know if they are correct?