We live in a 1907 brick home made of white brick. We hired an experience workman this summer to do tuck pointing and also to clean the front of the house (he said he'd use a mild acid of some sort, I think muriatic acid). Most of the cleaned bricks looked good, but some sections were...