opcorn:
Popcorn is the right smiley as rbishop deleted my post.
We'll let the perusers of this thread evaluate the complexity of this setup what rbishop says is "complex".
Frankly, running hoses 50 ft. into the bathroom to the tub, or sticking a hose out the window in sub zero weather is to me the epitomy of, er "complex".
Attaching a hose to a simple 12 v pump is certainly more advantageous.