A while back I took my young son's 1976 Marlin 39M to a local smith for a barrel swap (the old one apparently suffered from a squib from the previous owner). We went to pick it up a few days ago and found the following damage (pictured below) from when the receiver was put in the vise or whatever he used. He said he hadn't seen it until we mentioned it but would "make it right". It literally makes me sick because this was my son's first rifle that I bought for him a while back. I've done some checking around but it appears that receivers are almost non-existent without simply buying another rifle. What do you guys suggest? The gun does function, but that's a major boo-boo and must significantly affect the gun's value, not to mention being a huge disappointment to my 14 year old son.