Unleaded gasoline was unleaded long before ethanol was added. So, no, I didn't prove his point.
Per https://www.eia.gov/kids/history-of-energy/timelines/ethanol...
It looks like it usage of ethanol as an additive started increasing around the same time lead was being phased out.