From: cthomas@MIT.EDU Date: Tue, 2 Aug 94 13:21:05 -0400 To: hotline@MIT.EDU A user reported that the mouse doesn't work.