Oct. 3 - Gas Price Jumped 20-cents

I drive by the same ARCO station every morning on my way to work and routinely check out the price of gas.
Yesterday morning the price of unleaded regular was $3.99/gallon, after work it was $4.19/gallon.
What is it in your area? Same price jump?