The "fix" is going to cost you several hundred dollars if it can be fixed by tig welding the hook and filing back to fit. If you have to replace the bolt it will be more. It will cost you the same thing later if you just let it go till its loose with the fore-end on. With that little play, I'd let it ride...Geo

Hungry gunsmiths and collectors with too much disposable money may have different opinions.