Hi - I've removed hideous cement pointing from roughstone wall (circa 1840s). The original mortar is a nice red colour - presumably from locally sourced sandstone. Any advice on what material is best for re-pointing? Options seem to be a coloured ready-mixed NHL mortar, or buying coarse red sand (limited choice) and mixing with NHL. I'm not sure how colour-fast are the ready mixed mortars? Advice appreciated. Thanks