Had no response to this, so I bought a couple of mags to try and do this. Actually, it wasn't as difficult as might be expected. It required no "special" shop tools, just a vise, angle grinder, and a Dremel tool.
I used the existing 8000 mag as a guide and scratched marks for the slot on the...