I plan on changing the oil in a '96 Buick Roadmaster 5.7L, and wondered about using one of these two heavy-duty diesel oils in a gas engine. I know the Amsoil S3000 can be used in a gasser without problems. But, what about the Redline? On Red Line's website, it doesn't recommend using the 15w40 in a gas engine, says there might be plug fouling. Is this really a problem? I like using Red Line oils because they keep my engines cleaner and quieter. Thanks for any info.