Yes, the original pre-ADB mice have a larger microswitch (thus the awesome loud deep click) but I was under the impression that this thread was about an ADB mouse, or ADB mouse II, which I'm fairly sure all have the smaller one.

These miniature microswitches can be had from all sorts of gadgets. I found several in a laser printer once for example.