using electrical discharge machining [EDM], milling or drilling