Well, the welder repaired it: he started by welding what I had marked, then he fired it up. At 100 PSI it started leaking again! That time it made a wider crack. So, he welded out past that one, too, and fired it back up: it held air for the last 3 days, so it's maybe OK?