It’s especially crazy because because all the major engine manufacturers have already certified many of their leaded gas engines for high octane unleaded. Some of them are just waiting on FAA rubber stamps. https://www.aopa.org/advocacy/100-unleaded-avgas