[Kwokwai]

I did the same thing recently for a couple of old G17 mags of mine. Don't need anything special but getting the pins back in will be a bit tricky as the gasket tends to naturally push the base out but that's about it.