These are done via electrical discharge machine. I have talked to some shops that machine them, but as Steve says, the hardness of these things is pretty high and machining would take a lot of time. Looks like the standard fare is to EDM them for weight reduction, stress relieve them via heating or peening, then to polish them to remove any imperfections.