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 RL's website, it doesn't recommend using the 15W-40 in a gas engine, says there might be plug fouling. Is this really a problem? I like using RL oils because they keep my engines cleaner and quieter. Thanks for any info.