I'm interested in cleaning out my headset and whatnot and I'm not sure what size headset wrench to get, I measure the adjustable cup (or at least i think that's what it is) with a ruler and measured it to be 4mm across. All the options for headset wrenches to be 32mm or 36mm. How do I figure out what size to buy? Thank you.