I have a question about Cast Iron Welding and Heat Treating. There is a defect after the cast iron was done and the part was machined (a machinist cut too deep into the part of the cast). I know we can weld to repair the casting, but does it have to be heat treated afterward and the recommendation if so?