Cracked exhaust manifold on a 3.8 XK — repair or replace?

Found a hairline crack in the front manifold at the flange. It is a matching-numbers car so I would prefer to save it. Local welder says cast iron is possible with the right rod and a slow cool.

Has anyone had a successful long-term repair, or did you give in and buy a reproduction?