mouse problems

[Pandora B. Berman <CENT at MIT-AI>]

the way to deal with mice that die is: take dead mouse to John
Purbrick's office (911). If John is there, describe the problems with
the mouse: whether the degredation of behavior was slow or sudden,
what happened when it died, whether it was plugged into the keyboard
or the console, which machine it was attached to, etc. Otherwise,
write a note explaining same and attach to mouse. The table near the
door has mice on it; place the dead mouse (with note) in the BAD MOUSE
box and take a mouse not in the box to replace the dead one you
brought in.  DO NOT TAKE MICE EXCEPT TO REPLACE DEAD ONES THAT YOU
BRING IN.  

Exception to the above replacement algorithm: if the mouse dies on one
of the Course Six lispms (CADRs 10, 11, 13, 14, 17) DO NOT take the
mouse away from the machine. Instead, notify ERIC (the Course Six
computer room meister) that the mouse is dead, along with the
circumstances as described above. He is in charge of ensuring live
mice for these lispms.