The mix, according to some folks, varies by season, location, and brand. I don't believe the ethanol content is the only variable. I haven't paid much attention since gas came back down from $4+, but when they were building the ethanol plant here, the fuel types and efficiencies were a hot topic. It's probably available info if you dig a bit.