Does any one know of a polishing process for glossy porcelain tiles. They are in a restaurant and have fine scratches all over.