In case anyone wants to know, gas locally was $5.79 in town.
$4.99 in my part of OK. That may "seem" to be a bargain, but keep in mind that it's gone up 30 cents in only 72 hours.