High Gas Prices Explained by a Bored Employee