I am in the process of renovating an old granite stone building. Unfortunately a large section of the original lime pointing was repaired by the previous owner using cement. I plan to replace this with a lime mortar but a lot of the stones have been badly stained by cement. I’ve tried scrubbing this off with a wire brush, but to no avail. I am wondering if anyone can recommend ( from their own experience ) any products, like an acid based solution, that could remove these stains without damaging the granite stones? And, if so, where they can be purchased. Thanks in advance for any advice offered.