yeah. i would replace the sensor before i start fretting about engine internals. the coolant mixed with oil may have messed with it.