Been looking all over and can't seem to get a firm answer on my total height as equipped with factory air (no additional antennas or satellite) - user manual doesn't say, and internet searching is giving me numbers of 11'4" and 12' 7". Am not really flexible enough to climb up and drop a tape measure, but if I stay unsure, will have to end up doing that I suppose. This is our 1st RV purchase (didn't want to spend too much on new if we weren't sure how much we'd use it) and am working through learning about it before our 1st short trip with it. Any suggestions appreciated!