we know that ethanol has a much higher octane rating than standard gasoline (130 I believe)I was wondering if gas stations simply add ethanol to regular old 87 which (I think) would bump its octane to around 89-90 or do they adjust other additives to compensate?