Just went to buy some bits and pieces and saw the actual size of mini-XLR plugs - feeling a little embarrassed now that I had to ask that question!! :-[
The little mini XLRs made by Switchcraft and the like are sometimes used for headphone connections, like in the case of AKG. They're nice because they lock in place, and you can get a four pin version for balanced connections.