Welders of stainless tubing.