[bunderbunder]

> I'm surprised that 13mm would make a difference.

13mm is nearly 1/4 the length of my thumb. I do not have unusually sized hands.