Is there DECstation 4100 or DECsystem 4100 ? If so, what are its performance characteristics and standard configuration. Thanks Tim tlee at cunixc.cc. columbia.