Back to escapetrailer.com
I just saw on another post that the Coleman adds 1", so 9' 3-5/8" to the top of Coleman AC and 9' 2-5/8" to the top of Dometic AC with Lift kit installed.
Looks like you've answered your own question! For others, if you want to find the height diagram on our website for a specific trailer size please follow these steps: Go to the product page for the chosen trailer, then go to 'Specs & Floor plan'. From there, closer to the bottom of the page you will find the height diagram.