This is a sample section of a wall I have to polish. Large area, 60 years old and badly oxidized/etched. ID? I know it is common but the name escapes me.