OK, it seems we never remembered to properly announce a Yellow Tag on Welder #1. The pedal had broken, which meant you could only TIG weld using the scratch start setting, which is much less convenient and flexible.
But I’ve repaired the pedal, so normal TIG welding is now possible on both welders.
Also, we recently replaced the flexible TIG welding heads. In addition, we now have two fixed TIG welding heads available for people who prefer that; they are in the TIG supplies drawer.