There's one of these for sale a coupe hours from me. Was sold to Princeton U and delivered in 1955 so the owner says. He's asking $3000. Seems high to me but wanted to ask here. What kind of condition would it have to be in to demand that kind of price?