Well two weeks ago I took my car to a shop so they could replace the head gasket and everything that goes along with that. I barely noticed yesterday that the cruise control isn't working. The button lights up when I press it and when I press the set button on the steering wheel it lights up the light on the cluster, but when I let go of the gas all it does is slow down as if it never engaged. So my question is, what would cause this? And I will be letting the shop know soon.