$10,000 to re-rig our boat?! The rigging’s ten years old, so our insurers insist we change it, but what do the professional riggers think?