Electronics makers switch to precise micromachining tools