Still looking, no luck.

If I come up with one sans rivet, will a 700 rivet work?

I've installed 2 riveted 700 extractors into 721/722 bolts. I'm sure the 725 is the same.
Placement and size of the rivet hole is critical.