So still not great, but a bit of googling shows that leaded avgas is less than 2% of total civilian aviation fuel in the U.S.: https://www.faa.gov/data_research/aviation/aerospace_forecas...