Just wanted to give a high rating to Wash Wax All. I finally took the plunge recently. It is not cheap , but, to my mind, worth the cost. Using the mop I did the rig in about the same time as washing ...
Another vote for Wash Wax All. I polish and wax my coach twice a year and use this in between. Even with the wax I can feel the paint getting smoother after the Wash Wax All. The other thing with Wash Wax All is that it provides UV protection.
No, I don't sell it, but I have a couple of gallons on hand for the RV and cars. :)