hello. i want to replace the crumbling cement on the gable end concrete roof tiles on my bungalow, having read other posts a mixture of 4 sand - 1 cement seems to be the correct ratio. would using sharp sand instead of soft sand be of any benefit, i vaguely remember reading in a diy book that sharp sand should be used.