I have recently uncovered original red quarry tiles in my dining room and have been advised to put brick acid on them to clean them to original condition and then re-colour with cardinal red polish. Is this recommended? If not can you suggest a way to bring them back to their original conditon.