Thanks for the link.
I've been thinking about getting Mike's reproduction buttons too.
But I am afraid I will not be satisfied with anything less than originals
Seems to be quit a difference between Mike's and Nintendo's buttons in spring, click and feel.
But if I can't track down a couple of originals I will certainly go for these as they seem to be the next best thing.