> From: Noelle <noelle> > Date: Sat, 14 Dec 2019 09:34:33 -0800 (PST) > > On Mon, 9 Dec 2019, Robert wrote: > > Do we have an extra hose for the basement pump? > > > no, unless you use front yard one Doesn't that one leak? > > I presume that the hose that's connected to the garage cannot be removed. > > apparently OK.