@float13@masto.hackers.town small aircraft still use it, and some racing cars. Those are the biggest remaining users of leaded gas