I had the same problem with my mast a while ago. The diameter of he rivets seems to be the same. I found 3 different lenght. I ended up estimating/messuring the wallthickness in order to determin the length of rivet I used.
Patrick


Patrick, Hobie 16 '85