since they are expensive (and getting more rare by the month...nobody seems to carry the pistol itself anymore).
Leaks are around the base of the magazine, which calls for a classic fix with teflon tape or epoxy
(for that brittle, permanent fix) around the square-ish o-ring that sits at the bottom of all gas magazines.
Funky thing about the TM mk23 mags, though - there is a 3rd pin holding the base in place
which is only a few mm long (does not go through the whole mag)!
Tutorial websites say to "dremel out" this 3rd pin in order to get the base off. See the pic below:

I don't have a lot of experience with a dremel,
what kind of bit should I be looking for to dremel out
a couple mm of metal without doing a whole lot of damage?