Does anyone have any experience or ideas about how to remove old whitewash from very old murals? This is in Greece, if that tells you anything about the composition of the plaster or whitewash. Thanks.