Hello, I'm new to the forum, my name is Mike. My wife and I just purchased a 2000 Lance model 1020 Cabover camper. The unit doesn't have an air conditioner, so I am trying to determine the proper roof unit to install. Would a 9000 but be large enough for our needs, or should we go with a 13.5...