We are going to buy a Dolphin pool cleaner. There are 2 that I see for the money we want to spend ($800 or so). There is a Dolphin Diagnostic and a Dolphin Pro. Anyone know what is the better choice for a residential pool that has a weird shape?