20150725 city.bengaluru: 3D printing helps restore techie's skull