4/3     Where's the address to report campus network problems? Connectivity
        to the outside world seems to be down, and I remember hearing
        Ken Lindahl bitch about how people weren't registering
        complaints via the trouble ticket system or something...
        \_ trouble@socrates, or 2-4920  -tom
          \_ is it forwarded to /dev/null?
                \_ not even.  They just bounce it at port 25.
                \_ eh, trouble@socrates gets reasonable response for me,
                   although that might be because all the people with a clue
                   over there know who I am.  -tom
                        \_ then why do you get a response?