You raise a good point, Peter, but now it's become a personal challenge! As you point out though, it works fine now, so what's the hurry. I'll be spending a good part of the next 2 weeks aboard. If anchoring isn't imminent, I might give it a go...at least I'll work to remove the broken tip.
Windy/Tooly, That's the took I was envisioning using if I need to grind. I also have a larger grinder onboard, but it's a bit unwieldy.
I really appreciate everyone's great advice and suggestions. That's another thing I love about this forum!!
I'll update when I work on it. Cheers to you all!