We just put our pool in, and the pool company put a nice automatic pump on the cover for when it rains. They put a long hose on it and ran it down our wall and out to where it can drain. Has anyone basically run the hose into a drain like a buried downspout would have? I’m thinking that might be a nice way to avoid having to drag out a big hose.