.
...it's an irritating fact of life that most Allen wrench sets for bicycle use do not include the 7mm size. I think that's why Campagnolo used it in this instance.