I was just in Germany and noticed they have 2 grades of ethanol. IIRC one is 15 and 10. Obviously 10 is more expensive. I can't imagine gas stations investing in another pump so maybe the new ones will have dedicate e15. Those who want cheaper gas can avail of it and those who want regular will avail the current regular.