Thanks, I'd hope that they would though I'm sure a lot of shops would just replace the sensor without checking.

Mostly I'm hoping someone can tell me if I'm off base thinking through this. I always hate going into the shop without being able to carry on an intelligent conversation about the problem.