Does anyone happen to know if a Maytronics 115 advanced power supply will actually power a Dolphin E 10? The basic 115 power supply for our E 10 got pulled into the pool this week and a bunch of water got inside and fried it. Looking online for a used replacement, I am seeing a bunch of the 115 advanced power supplies for sale but the basics are hard to come by. Looking at the pictures it seems like the power cord would connect the same. I’m just reaching out to see if anyone has had any experience with this? Thanks in advance!