The (famous) red mouse is the DePraz mouse: http://www.computerhistory.org/revolution/input-output/14/350/1795 FWIW, I have a copy of the AT&T 5620's owner's manual as well as the manual (with schematics) from Teletype. I am planning on donating these to the Computer History Museum where they can be scanned and available to all.