GasBuddy’s U.S. gasoline average fell 17.1 cents over the week to $4.12 per gallon in its Nov. 2 reading, easing fuel costs for motorists while remaining $1.13 above its level a year earlier. GasBuddy said its calculation drew on more than 12 million individual reports about prices at over 150,000 stations.