Ian,

if the light was not on when they left the garage then th every much doubt the cap was off. What valve? it was a disc, pad and caliper change. There has to be something else. Sensor or wiring is my guess