Yeah, the 13,500 Power Saver is rated not much over 10 Amps under standard conditions. Your desert conditions should be a little higher. The 11,000 PS (more popular in vans) is rated under 10 Amps (standard conditions), which is probably why Jayco uses two of them with 30-Amp and 4,000-watt Onan in some motorhomes.
Onan specs also make reference to a 7,800 BTU/hr high efficiency A/C but I've never seen one that size as a roof mounted unit. The smallest I've seen are typically 9,200 BTU/hr, but they use more power than the Power Savers. The small 9200 seem popular in truck campers and small trailers.
__________________
|