Tagged high-pressure-compressor-repair