I'd think about replacing the shrouds anyway. I broke one in the gulf last weekend and had to try to lower the sails and get the mast and boom on board. Too many jelly fish around. I was lucky enough to get a tow from a guy on a jet ski. It could have been very ugly if my son had been with us, he would have been right where the mast fell. This is not something I want to repeat. I think cost for new shrouds was about $190.
Have fun with the "new Hobie"
Kent