Just got out from under the coach. Noticed a broken connector so I removed the sensor.
Now I find that this part is a Horton 14017 180NO 97/32 3000-552-35
apparently scarce as a dinosaur.
I find NC sensors--most of these sensors are for fan clutches.
Anybody got a source other than Ebay. (I've had bad experience with Ebay. Got cheated but Ebay does NOT allow any negative feedback!)