The mag release button on my well used Baretta Elite has come loose. It appears that it had been pinned in place as there is a tool mark on the back of the button. Like it was struck with a punch. Does anyone have an idea how I could repair this? I thought about using Devcon...