Really? Framing it "so-called" makes it sound esoteric and rare, while in fact it's an utterly common machine tool used in many industries to create ... pretty much anything (eg. casting dies for Lego bricks). I wish they'd tone down the alarmism (unless they know it's ordered by "Ivan's Shell Mfg. Co").