Any input on Gulf oil? The local service station where I go for state inspections and things I can't do myself (which isn't much) just switched from Texaco to Gulf. They told me that Texaco was going to quit making gasoline so they had to find another company. I change my own oil 99.9% of the time but if this winter is like last year, there might be a time where it's too darned cold or snowy to do it myself. I did a Search but didn't come up with much. Thanks.