Yes, I just found it. he used a Stratasys Objet Eden 3D printer. These costs just under $100,000. He updated his blog to include these details.