we are going to get the travertine in the courtyard cleaned and sealed. Not sure if we should stay with the honed or get it polished. The guy comes Saturday to do it. Any advice?