I asked, and he reports that the fingers do not share equally, the index finger gets four of them all to itself, the middle finger three of them, and the thumb gets the final two. He also points out that two of the buttons (belonging to the index finger) just adjust the sensitivity of the mouse, so are not used terribly often once you've got them set correctly.