Broken manifold stud in head

Have a shop EDM it. EDM stands for electrical discharge machining.