I recently purchased a used G19 , really good shape, shoots great, excellent cosmetics except for the mag release, seems the comp-tec holdster that came with it has taken its toll on the mag release finish, only thing Ive noticed about the gun is the mag takes a little work to release, both are the stock hi cap glock mags, does anyone know if the extended mag release is a better option? Im gonna replace but was unsure of the pros and cons of stock versus extended, also any other inexpensive tricks would be appreciated