i've just cleaned some indian sandstone that has some red paint of some sort that has been absorbed into the stone it's not sitting on top of it (i think someone has had a go at cleaning it and has smeared it about). the customer doesn't know what it is, it was some builders next door, it could be red oxide primer or something possibly or maybe a red gloss, but it's not a big area. i have some Dichloromethane in the garage, i know it's not meant to be used but due you think it will shift it with that or will it mark the stone?