New color plastic filament for 3D printing: "TRS-80 Battleship Grey"