used on wa whitney 3700 punch/plasma and other machines