I have a G34. Never liked the extended mag release (rubbed the palm of my support hand), so I put in the standard size. That standard mag release makes it more difficult to get the magazine out during a fast reload. Do any aftermarket suppliers make a mag release that is inbetween? Or am I going to have to grind down the extended one?