I'm new here. I had a friend helping me with my truck. 2000 ranger XLT 4x4 4.0 V6. I needed to install a fan clutch. In the process he broke a sensor next to my thermostat housing.. He also nicked the water pump pulley.. What is the sensor and how can I replace it. Also can I file down the pulley? Here's a couple pics. Thanks in advance..