Agree with all that. I haven't found anything steel and weldable yet that I couldn't do a decent job on with an oxy-acetylene torch and a fine tip. With the flame I can taper the welded area and anneal around the edges in a way that TIG can't do. Having the right torch tip is critical. Here is one that I use a lot. It's basically a piece of thick wall copper tubing silver brazed into a welding tip. That gives me a nice size flame for material from less than 1/16" up to 1/8" thick and puts the flame right out where I can see it well.
Still, if I absolutely had to patch it, I'd probably weld it up and then spend some time making a patch that fit very exactly so that I could add a patch silver-brazed right on top of the welded area. Even if it all went right, that's a lot of unknown and delicate work for $700.
Bottom line is that for $700 after 30 years service I'd just buy a new one, if available.
rScotty