Quite so...BTW avgas (petrol for small aircraft) still contains tetraethlyllead
AFAIAA, the addition of any tetra-ethyl-lead as an 'anti-knocking agent' (resulting in higher octane fuels) has been completely banned in nearly all countries, other than in aviation fuel.
Kind Regards, John