Ah, that makes sense, although I’m surprised they didn’t call it “E15”. I think in my area they don’t bother with it because regular unleaded is already “up to 10% ethanol” anyway, so it’d only be a 5% difference and that’s not worth taking a slot on the pump.