Value of a PDP-11/23 ?