I have a friend who wants to drop pulley size on his car down to a 3.5. he wants to know which spark plugs to use. I think he would like to stay away from Autolites. Right now he has no mods. He just wants to drop the pulley size.