LIMPIEZA interior de casa pared revestimiento piedra con ácido clorhídrico

Se puso un revestimiento símil piedra en pared interior de una casa y quedaron algunos detalles que hay que limpiar. Se probo cepillando y raspando pero aun queda para sacar bastante. Recomendaron el uso del ácido MURIÁTICO, pero quisiera informarme primero de como hacerlo bien. Se diluye en agua (10x1) se deja unos minutos y se lava con agua. Es en el interior donde hay transito de personas todo el día, ¿se producen muchos gases o se puede trabajar con cuidado limpiando (con protección por supuesto) mientras la gente anda por ahí?