Mini Starter nut size?

We used a 12 mm on the large nut and 5/16 on the small one for ours...