We are currently shopping for our third pool bot. Our first was a Dolphin DX3, our most recent a Polaris P825. The differences between the two are remarkable; both have their respective strengths. That being said, I am undecided as to whether we will try another manufacturer or return to...