Thought I would cc a port in the cast iron heads I've been working on. Very first intake port I try has a leak. As seen in the picture, there is a very small pin hole in the casting. Metal thickness at the hole appears to be at least 0.140" according to my import ultrasonic gage. What are the options for leak repair? Braze? Drill/tap/plug? Or punt?