any opinion. I have been told to use platinum plugs with a "hot"electronic ignition and I have been told to use regular ( auto lite ar 3924 )plugs who's right?