I have never used gas additives and I would like to hear about them, and peoples experiences woth different brands. Thanks!