I need to replace the furling lines for my IMF and headsail. The ones that came with the boat somehow had shrunk and we're too short and I replaced them with closeline to get me through last season. Anyone know what diameter line these are? Thanks - rob