nutjob

Was working on the car today and had to unbolt the starter. Stupid me forgot to clean up the worlds smallest nut. Was wondering if anyone knew the size of the small nut on the small post on the starter solenoid. 8mm but I wanna know the thread and stuff so I can get a new one. Just thought I’d...