I looked on the coleman mach10, it is a 13,500 btu unit and draws 11.6 amps after up and running. The 15,000 uses 14.4 amps so theoretically running both is capable but once again getting them running and that would only leave 4 amps for other uses, the tv will use up to 2 amps.
Are the new ACE's still 30 amp or are they offering a 50 amp version now?
I put my 2nd AC on its on line and ran to a 2 circuit panel and then to a 30 amp receptacle. What I do if I am going to be at a park and think I need the cooling is I bought a 50amp to (2) 30amp dongles, then plug the rv into one and the receptacle I installed into the 2nd. Works great.
https://www.amazon.com/gp/product/B0...?ie=UTF8&psc=1