I wonder how that 3D-printed gun revolution going on in the US and elsewhere. Haven’t heard much since the hype died down.