I would also throw Totally Awesome Cleaner or Malco in the mix vs all of those. You will see a huge difference in cleaning potential between the Babes, 303, and Vinyl Sauce vs either the Malco or the Totally Awesome Cleaner. Totally Awesome is cheap , readily available at almost any store, and really can't be beat as a vinyl cleaner. I wouldn't use the Totally Awesome as a daily wipedown like I would the 3 you mention, but again if you have dirty vinyl nothing will clean better than the Totally Awesome or Malco with a soft bristle brush. Also get a soft bristle brush for either of the 3 you mentioned. IT will add even more cleaning power.
2000 X-Star, 3000lbs ballast, LTR 330, Acme 1235 14.5X14.25prop.