typically how large a generator is needed to run roof air on travel trailer. mine is a 2000 model dont know if it is 13000 or 15000 btu.. ed hall