To my knowledge the local jobbers mix the alcohol in the gas, not at the refinery where the gas is refined. That is one reason why if you check fuel for alcohol content many times it is more than the 15% alcohol content. Especially if alcohol is a lot cheaper... Login to read more.