The dealer can use the Star Diagnosis and it will give them the specs. for both the washer and coolant sensor. The one that is closest to being out of specs is the culprit.

------------------