Repairing core (was Re: How scarce (valuable) is core for the PDP-8?)