You didn't specify that the resistor ends were replaced in your post. Do you know that in fact they were replaced? I can envision the mechanic reusing the old ones if not specifically told to replace.