Thanks for the info. We brought our RV used from a private party so we do not have a dealer to take it back to. It sounds as if I accomplished about the same fix.
Now fixing broken water filter since previous owner did not winterize properly. Hopefully there is no other damage.