I heard something about the oil companies can't sell winter mix gasoline until after Labor day. So what is the difference (other than another way the oil companies can gouge us on lower quality products)? Is the octane different? Is this why my gas mileage goes down in the winter?