That's the kind of answer I was hoping for. I'm going to discuss with my rigger today. It will get replaced, but it's a question of timing and expense. Need to find out whether he can fabricate an exact replacement or if I'm better off ordering a part from Denmark. Only about 4 weeks (weekends) left of sailing season for me, so straightening as a temporary fix probably isn't worth it.