you say to use autolite 3923 plugs...is it ok to use platinums or use copper? i have heard some vehicles dont run as well with platinums. and what is the difference between the 3923's and the 5224's that the books say to use? sorry to be a pest, i just want to be doing the right thing here