The history of these devices is facinating. Can't be too many more of these original machines still around. Wonder how this one came to be in private hands? Any bets as to what it might go for? I would think upward of $250,000. I know that one was stolen a few years ago from a museum in England, and later recovered. Holy Bletchley Park, 007!!!