A mop is an old method of getting rid of swirls, I suspect that they use that terminology but as the author says a machine polish. I can't imagine anyone uses the mop technique anymore?
Id seriously reconsider their offer and instead insist that they pay a pro detailer to do the jobYou have been warned