Record gasoline prices at $4.19 average yesterday (but the prior $4.10 record in July 2008 is equivalent to $5.33 in 2022 dollars -- no one mentions that)