Mineral deposits have built up on our above-the-waterline tiles. We're thinking of hiring a professional cleaner. We're informed that the process involves pressure washing with a stream of water-suspended abrasive grit. I'm concerned about the effect of the abrasive on our pump, heater and filter. Has anyone had any experience with this?