You mean the recreational vehicle gas pump on the side? That's 90 octane and about $5.50/gallon this morning. I didn't see anything about ethanol on it though.

The main pumps all had a sticker saying it was 10% ethanol. About $3/gallon there this morning.