This is probably a dumb question, but when we're hooked up to city water, I noticed a drip at the rear of the coach. There's a drain hose for the fresh water tank, and a second drain next to it, and water drips out of this second drain at a moderate rate. Shut off the city water (we do finally have a pressure regulator) and the drip stops. Any idea if this is normal or not, and if not, what might be causing it?