well, by average I meant day-in/day-out, dead in the winter time, gulf
states, whatever. 100LL will certainly reach $5/gallon this summer in
many locations, but it'll retreat back as the summer passes.

In 3 years however, $5/gallon 100LL will absolutely become the norm
everywhere. Autogas STC folks (like me) will be salivating the fact
that our autogas is *only* $4/gallon.