I have a client who is getting ready to sell their house which has about 800 square feet of travertine. Not interested in going through the grits for a polish. They just want it to look shiny for show purposes. I'm thinking cleaning using a M3 DIP pad with crystallizer. Thoughts?