I machined a prototype set for an old friend of mine a few months back and thought I would put these out there to see if there was any interest in them. After doing some research I discovered that some of the TK helmets used in ROTJ had machined aluminum mic tips. The measurements were based on resin copies of the originals.
My estimated price on these is $80 per set. Of course, that price will come down depending on the number of sets machined.
If you're interested just post a reply with the number of sets wanted.
