Yep, and the FAA is taking it’s sweet time to approve a new unleaded fuel for general aviation that shows a lot of promise called G100UL. It’s estimated it could take another 6-9 years. Otherwise it’s currently only approved for specific planes and not available at most airports and aerodromes.