For plastic use, just about any old deburring tool will do ... They’re just a bit obscure when it comes to tools; this may in fact be the first time Hackaday’s ever covered one.