I know you didn't list it as an option but I really like my ReefAngel. The programming is a bit different but you can program it to do anything (and they have their own forum with all kinds of tips/ tricks and preset up programs to copy and paste), and when I had problems I dealt with the owner not some flunky in Bangladesh (I had a couple bad cables that weren't shielding properly in the beginning, but haven't had an issue since he sent replacements). The ATO is built into the base unit and as long as you keep the float switches clean works flawless. I run my LEDs through the proper module, temp, ph, all runs flawlessly and has for over a year now. Also, the plug unit has 8 outlets and the expansions also have 8.
IMO they are small enough to give a damn about their customers, while being big enough to work properly
Just figured I would give you another option and my experience w/ it.
Also, I have an older AC Jr. if you want to borrow it until you get yours working or get a replacement unit.... I've never been able to get it to connect to the net, but it functioned properly while I had it in use (recently took down the nano it was on)