EDM (electrical discharge machining) filter elements