I'm wondering if it might be beneficial to follow someone at the pump who was also pumping 93 octane? How much 87 comes out one of these shared pump systems we have today before the 93 starts to flow? I buy COSTCO gas here in W. GA and currently the price difference is 59 cents a gallon higher than 87. More interested in keeping the 87 out of my tanks.