8 3/4 ?'s
I can make you a set of pins that fit...i made my own. the only thing is that you'd have to wait til next week, because I'm off til this weekend, and I do all my fabbing at work in my free time......and if it's a busy weekend, it may be later next week....BUT they will probably cost less, AND you get a whole new pin instead of just a sleeve for your old ones....
here's a pic: