Restoring a VAXstation 3500