For piece of mind I’d go with option 1. JB Weld is an emergency fix IMHO.