Hopefully you got to talk to a helpful human Richard.
The part is welded up. My buddy refused payment but I stuck $20 under a piece of metal he had on his work table, in plain sight. It only took him 4 minutes of so. Still, he had to change the setup from welding steel to welding stainless steel. And he does it for a living, so 20 bucks is just a token of thanks. Any real shop would likely charge that or more, and not do while I wait.
The dealership will have the "Motors in the morning" today at 9:00 so I will rick driving my 911 with no heater this morning. It is already 80 degrees and likely going to be mid 80s by the time we are done. I suspect I shall not need the heater much in July in Oklahoma.
When I get back and the car is cooled off, I will install the heater part and be done.