Mini Starter nut size?

I just measured my small one and it is 4mm. Sorry, it was too dark to measure the pitch. As stated, the large definitely. is 8mm.