yo las manchas difíciles también las he quitado con disolvente aunque las más complicadas las he limpiado con salfumán un poco rebajado en agua, pero claro no todos los suelos admiten algo tan agresivo tendrias que hacer una prueba antes si tienes mas pavimento de repuesto aunque normalmente los gres de nueva generación lo admiten si problemas, si no ya seria ir a buscar alguna marca comercial que se especialize en manchas dificiles en el corte ingles , leroy etc venden una que no recuerdo bien el nombre es hg o algo parecido y el olor desde luego no molesta aunque es un producto caro.

saludos