I’m looking for recommendations for an auto scrubber. I just picked up a building that has 8,662 square foot of stained concrete. The building is only cleaned once a week. I’m looking for a good 17”-20”, plug in auto scrubber to speed up mopping times. What’s your go to scrubber?