I was messing around with my hardtop today that is off the vehicle at the moment. What I was doing was straightening the one pin on the driver side that was bent and made it difficult to remove the top. The pins or pipes (they're hollow) are about 9'' long and looking at them I'm thinking 5 inches of that could be cut off and still have them work. There is probably a reason for the at length but I can't think of it. Have any of you shortened these or is that a big no no? It seems to me the top would easier to put back on if they were shorter.