Yup, for collectability, get a replacement shell. For usability, forget it, just use it like it is, no diff in performance. I think Ernesto at Parker51.com still has shells for under $10 a throw, postage included, depending on color. If you send him the modified shell, he will match the color for you if he can, I believe.