Just to wrap up on my input:
Yeah I never use a 15A extension chord to plug in the RV. Always use the RV's 30A one with the small 15A converter right at the end.
I happened to be looking at our build list for our RV earlier and noticed that we have the smaller A/C unit. Your results may vary if you have the 15k unit instead of the 13.5k one.