Sorry, posted to the wrong place. Wanted to post a PM.
We own a Mahe (Kokomo) and live in Fort Lauderdale. Need to install AC. I am considering doing the same thing that you did. Mermaid 12000 on the port side and 9000 on the Starboard side. Would you say that you are completely satisfied with the 9000 or would you have preferred to have more cooling power such as another 12000?
Thanks so much!