I haven’t had a pool in 7 years but have recently decided to have a pool added to our new home. I am building a gunite pool and have a lot of trees in my yard so I expect leaves to be a major issue. I’ve researched a bunch of the Dolphin models since I had one back in the day and loved it but I can’t really seem to get a good handle on which is the best balance of performance vs cost. I’ve read some older threads but am wondering what the present consensus is on what to buy?