Our P42 came with a Shurflo water pump, which does a fine job. I think a lot of Hunters have Jabsco, which I don't like much. They failed twice on our old 37C and were too noisy. Now Whale claims to have the quietest pump around. Has anyone switched to it? Is it noticably quieter??