I understand the E88 designation has been changed to unleaded 88 or E15 but the Sheetz pump I used recently was still marked E85, E88, etc.
It's mentioned in a Patriot News article on Sheetz gas:
The convenience store chain Monday said it is dropping prices on a couple of its fuels through the Fourth of July weekend.
www.pennlive.com
This paragraph, about halfway through the article mentions it:
"E88, or unleaded88,
is also known as E15 in the industry.
A reporter with a Cleveland TV station noted in late May that they were seeing E88 fuel available at the pump and costing 20 cents less than “regular” 87 octane. So what is it?"
Sorry for the confusion.