While cutting a replaceable tube inside furnace, a cut mark by gas cutting tool is found on adjacent good tube. A cut mark of 3 mm depth and 6 mm diameter is created on a 3 inch (originally 5.49 mm thickness) A335 Gr. P5 tube. Should I replace the tube or locally repair the mark by welding? I should add that overall thickness of the tube is satisfactory.