Cintec uses 3D printing to help complete million-dollar restoration of Red House