Got the exhaust system repaired. They just installed a short section of pipe to replace the area that rusted out where a poorly-done weld joint was made at some point in the past. They said the rest of the exhaust system is in surprisingly good condition, and should last for several years. (Glad to hear it!)