Hey everyone, redoing my pool and my installer has plumbed it for a pressure cleaner (kreepy krauly thing). I imagine this will work well for leaves and stuff, and I imagine I will appreciate that it automatically cleans everyday, but my real question is about brushing the sides with a robot. I know a robot would be redundant and brushing really isn’t very hard or time consuming, but if I just wanted to throw one in each week to brush the sides and bottom, which robot might you recommend considering that the pressure cleaner already did its job. Thanks!