Very interesting, darkoford ,thanks.

By the description the link is a close knockoff of the Deckel it would seem. A quick scan of different Craigslist in the US show different Deckel mills and prices all over the place. One really interesting one was called a duplicating mill and I wondered what was the difference. By your link, it was an attachment to a regular Deckel mill. I don't remember the designation/model # but it looked like one of the bigger ones. It said it was lightly used and looked it. It was only $1200 but on the opposite coast. Good thing because that would have been an incredible deal if true. I wasn't even aware of Deckel mills until recently. The only Deckel machines I knew of was their single lip tool grinder sharpeners.

Glad you saved such a nice machine from scrap.