EHX Toggle Source?

[PhiloB]

Buddy of mine has the pedal below.  The toggle is missing the nut and wiggles a little with pressure.  It is PCB mount which I assume over time might cause damage to the pins and/or PCB.  The size is smaller than the mini toggles I buy.  Anyone know what size these nuts are? (I'm so immature, couldn't type this sentence without smiling).
Also, where to buy (local hardware store?)

[selfdestroyer]

Are they any of these?
http://www.smallbearelec.com/servlet/Categories?category=Electro-Harmonix+%26+Sovtek+Spares

[PhiloB]

Looks like I could order the sub-mini toggle and just use the nut off that.  $2.10 for a nut.  Thanks Selfdestroyer