Ja, falls das ggf Naturstein ist muss man mit Säure aufpassen. Es gibt aber spezielle Reiniger für Rost auf Granit / Naturstein & co.
Es gibt einen "HMK R777" - Rostumwandler für Hartgestein, der ist aber nur für säureresistente Oberflächen. Und einen HMK R179 Rostfleckenentferner für Weichgestein. Der ist für säureempfindliche Steine. Musst mal danach suchen. Sind aber nicht ganz billig, um 20€ für ne Flasche.