Do all the hard work with wet and dry before you try the polishing mop as this will save you alot of time

Go in stages from 1000 grit up to 2500 depending on how rough the surface is