@kenshirriff Yeh it's a weird choice isn't it; impact dot matrix machines had been around for a while at that point; a DECwriter or an Epson MX would surely have worked.