My tile installer said to use muriatic acid and water. The amount of acid was
small. Maybe 5%. He said wash the floor with it, then rinse. Good as new. I
haven't done it yet as the tenant is still renting the place. :-)
Read about all the cautions on using any acids. Duh