yeah, i believe they are 7 and 8 mm but not 100% sure and don't want to waste my time finding the wrong size.

 

They are tiny suckers, I remember having to bust out my tiny wrench set...but I don't think I can tell you the right answer. I want to say they may have been 6mm.

I have a set of craftsman wrenches in a bag, has sizes like, 4mm - 8mm and some American sizes that I never use.

 

They're not 8mm; it was too small IIRC. I just had my pump out a week ago, and like other times, I just used a tiny crescent wrench. The posts are also slightly different sizes, and so are the nuts, so the wrench was the best option.