I have the Coleman Mach 8 and a Honda EU2000. I've had issues a couple times starting it on the Honda. I had to turn off the converter and run the fridge on gas.
There's another one he should look at that I believe is lower amps even though it isn't as low of profile. I believe it's 11K btu, can't remember who makes it though, hopefully someone else remembers.
I also find the Mach8 rather loud, the released a new fan kit for it that's supposed to help but I haven't installed it yet.