whats the correct port for the the DECstation 5000/200 serial port? I want to use tip(1) to access the serial console of another machine via the pmax serial port. Thanks -Dan