TOOL JOINT PIN MEMBER WITH HARDBAND

Definition A <TOOL JOINT PIN MEMBER WITH HARDBAND> is a <TOOL JOINT PIN MEMBER> that has a <TOOL JOINT HARDBAND>.