I'm not sure if there is a boost pump in our 42' RE.
Retired from central Florida, Freddy came stock without passenger (coolant) heaters or entry door defroster.
The coolant loop does exist, straight to the lone drivers defroster, then back. Idk if there is a pump in that defroster. Possibly, the RE water pump is doing all the work?
(Factory installed 3-way to nowhere)