Buying our first camper and have a AC question

That size AC is common in that size trailer today. Jayco owners appreciate that Jayco upsized from 5,000 to 8,000 recently and are now satisfied with the performance. Should be easier to run with a smaller generator than a 13,500 unit.