I was extra cautious with mine.
I put it my 'used' water from water changes, replacing the water every week. I would also scrub it with a brush and rinse it off with tap water at the same time.
I'm not sure that was overkill or not, but like you, I had some stuff on the rock that I wanted to get off.