Hi, in anyone’s experience, would gypsum plaster irreparably stain marble tiles? In my bathroom, a half wall of white marble tiles has been installed, then, after fixing the tiles, plaster has been applied to the half wall above. A few of the marble dados look a bit muddy after this (even after cleaning). Is this normal?