Winter blend vs summer blend is usually produced by varying the amount of butane. Still, maybe ethanol is also adjusted by season to keep evaporation low?