Just a impromptu survey. I was looking at buying the Pool Cleaner and was reading the manual. Just like my Barracuda G4 and G3 manuals, the Poolvergnueguen's manual said to remove the cleaner before shocking or when swimmers are in the pool. I never did this with any of my cleaners. I am sure it hastened their demise but oh well. It seems like way too much work otherwise. About the only time I would remove them is when I had a bunch of people over.
What about all of you? What do you do?