I usually use Shell 93 only. But I can find Exxon 93 for $0.15/gal cheaper than Shell in my area. Is it worth the switch?