I know this is an old thread, but back to that sensor. Has anyone had to replace it. I can’t find a part number and it’s not on the parts list. ...