BTW, how many out there are aware that 80 octane unleaded avgas used to
be available, back in the 40s and 50s?

--


Actually I think it was available up into the mid to late 70s...

80/88, and it was colored Red...

BT