Please be advised, the workgroup server, "KT-4800" (used mainly by Keith Thompson's group) crashed around noon today. The cause is not yet known. The server will be rebooted and hopefully brought back online when TDC returns to work on Jan-2.