I'm trying to decide whether to go with a robot pool cleaner in my pool, under construction. Couple of questions: has anyone used a robot pool cleaner while a pool cover is closed, perhaps going through the skimmer for the cord? Also, I understand the Dolphin M5 is discontinued and there is...