All the cool new 3D printers have tool-changing heads. Instead of multiplexing filament through one hot end, you simply park one hot end and pick up another. Or pick up a different tool, depending on ...