Side point, but no leaded gasoline has been sold in the US since 1996.
The UN proposed a global phase-out by 2021, with Algeria selling the last tank of leaded gasoline, globally, in mid-2021.
Just a weird quirk that the pumps still say "unleaded" 30+ years later.
I haven’t gassed up a vehicle in a few years but I don’t remember it being $5.70/gallon last time?