Pardon the dumb question, but what size socket wrench will I need for the 4-40 nuts? Sorry, I'm not used to the "standard" size measurements. And I have a dream that one day the US will convert to the metric system and be inline with the rest of the world. Sigh...