I'll get the serial noted down next time I'm up there; the model is DVE. Fortunately, it sounds like he got it resolved - the radiator cap was cracked and the system was about two gallons low. Sensors worked as advertised and shut the unit down before any damage could occur. Coolant was topped off and a new cap ordered.