If they damaged the sensor the ABS and traction control lights would be on.
Has anyone tried to reset the light? Or are people under the impression it will turn it's self off? Cause it won't. Iirc there is a funky procedure to reset the low tire pressure light. Not all shops know how to reset it.
No need to reset the PCM.