Okay, just being sure. $12 a gallon is still very expensive. I think if E85 would get the job done, it would be more cost effective in the long run. It is somewhere below $2. That would be a 1/6 of the cost of the racing fuel.