Reagan is down and will not come up Wednesday. The goal of the current work is to bring Reagan up to hardware revision and to install some ECOs that would make Reagan identical to Zermatt. Unfortunately, we are having trouble formatting the disks. (Both Reagan and Zermatt use a nonstandard disk configuration, so please don't blame Symbolics for our current trouble.)