tip repair

I have a VMax pinpointer that needs the tip repaired. Should I use JB Weld, Marine Goop or Silicone? Or is there another type of epoxy that I should use? The tip is worn down. I don't have the money to buy a new pinpointer at this time.