@pris, even in extreme instances, I don't think that
Machine Doubling adds a numismatic premium. With that said, the cost of ownership is low, so save it if you want.
"If you climb a good tree, you get a push."
-----Ghanaian proverb
"The danger we all now face is distinguishing between what is authentic and what is performed."
-----King Adz