Comment by nhnifong

We should seriously have a tool that a tool-changing 3D printer can use to do this.