Just a side note about if the pump should run when on city (shore) water. In very few cases I've seen city water pressure too low for a nice experience. In those cases I'll switch on the pump just to increase the water system pressure. This has nothing to do with the OP.
Fred & Denise (RVM157) New Mexico
2007 Excel Classic 30RSO & 2015 Mini Winnie 22R
2007 RAM 3500, Diesel, 6Spd Auto, SWD, 4x4, CC & LB