First, you're welcome here.
If you're mainly interested in running the standard 13.5 btu ac , you could get by with a >2k watt inverter provided the ac has a soft start capacitor. Otherwise you'd need something in the >3k watt neighborhood. That model also comes with an optional high efficiency 11k btu w/softstart rooftop ac ( power pkg. upgrade). So that would be relevant as well.