doug wrote:

to one selling on Ebay for over $8,000. Is this a realistic value?

Definetly. Even here in Germany! Go buy it. You will never regrett
having bought a Deckel.
If you have it, don't be worried, it is a bit noisy (in the head).

Nick (FP1, built 1946)

--
WDR Fernsehen:
"Ein Computer arbeitet so lange Befehle ab,
bis keine mehr vorhanden sind."
Muss ich die dann irgendwie nachfüllen?