Every once in a while I get tempted by a seemingly pristine Deckel sinker EDM for sale cheap. But typically they are mid 1980's vintage and even though I know the scoop on Deckel mills I know nothing about Deckel EDM's. I seem to recall they weren't actually made by Deckel.... but regardless, who if anyone works on these and supplies electronic parts ?