I wonder though what premiuim prices will be. It used to be that 90 was 10cents more than reg, and 93 was an extra 10cents more (at least in TN). That's not the case anymore, premium is around 35cents extra - Makes me wonder if premium will be 6+ this summer.