using electrical discharge machining [EDM]