25 cents? That’s a relief to know that almost all of the price increase has already taken effect at the local gas station, then. The price of regular went up 24 cents between 11:30 and 3:00 yesterday. I should have filled up in the morning.
The gas you buy today was bought as oil about a month ago.
Today’s price is the November price.