From: rptaurie@MIT.EDU Date: Tue, 13 Dec 94 20:19:30 -0500 To: hotline@MIT.EDU everything seems to be working fine though