I am looking for opinions on what is a better and perhaps easier direct replacement for the original Marine Air 16K BTU. The existing one cools but does not get cold even after a recharge, it does what it can but that is not quite good enough. Marine Air/Dometic and Mermaid seem to be the choices as Cruise Air is pricey.