hia, i have used 17" victor polishers in stock for £200, warranted for 3 months. if it is just to hide mop marks you would be better to use a floor polish, put it on with a window cleaning applicator on a pole and it will dry perfect and hide all the marks, and seal in all the dust.
regards ben