OK, here's what I found when I removed the old extractor:
I don't have an experienced eye, but it does not look to me like the broken one was filed right behind the hook. Dimensionally, they are close:
The new one comes in at 0.229" across;
the broken one at 0.225".
Do you think I can just replace the broken one and range test it? Would you use the new spring, without knowing the specifications of it?