I've already inquired at an aircraft welder. He said he'd charge no more than $150 for it, and that'd be including the material he would use to patch it.