Hmm...so how do you intend on fixing that?
I ask b/c: to stop the leak you could simply patch up with something as trivial as JBWeld...seriously, if the stuff held up so far as a fix to me breaking through on the pushrod pinch area of my W2 intake port, then I can't imagine why it couldn't hold up here PROVIDED that there is no pressure (load bearing type stuff) being applied.