Try our re-instated info resource - "Aladdin's Cave" (Main menu)- sorry it's taken so long to fix
I need a couple of these for my project too. I think I think I drilled the old ones out and used a 1.5mm drill (0.060"). I'll try and measure the holes tomorrow