We added a 2nd AC to our 34' 5er a few weeks back. We chose to go with the Coleman Mach 8 (low profile) 15K ducted w/ thermostat. It is a little louder on the outside than the Dometic Brisk Air II that came with the rig, but it is ultra-quiet on the inside. The difference in cost between the 13.5K and 15K is minimal, so we went with the larger one. It makes a monumental difference in the cooling efficiency of our rig.
I would highly recommend the Coleman Mach 8 like we got. It blows hard and cool and truly is whisper quiet.
We didn't struggle with removing the sealant around the vent opening. I just cut the roof membrane along the edges of the sealant and laid down 4 strips of eterna-bond tape. The roof membrane wasn't glued down there anyway.