In article
<DB7B82AF-C165-41D6-BEAE-39D32601DC08 at gmail.com>,
    David Riley <fraveydank at gmail.com> writes:
  Where does the $100K figure come from?  I think
the pocketfactory guys
 are us ing a RepRap variant, which usually weigh in at less than $700
 for all the part s. 
 They have a makerbot and an Up! 3D printer <http://pp3dp.com/>
  I don't think the quality would be *as* nice
as the original, but
 unlike the DEC switches, they'd be available. 
 Yeah, they won't be molded, but they can be printed on demand and
 would be cheap. 
 I think for acceptable switch cover replacements, you'd have to use one of
 those 3D printers that uses a polymer powder upon which layers of hardener
 are sprayed inkjet style.  You get reasonably smooth edges that way.