How does hot tub plumbing work?