Funny thing...I ordered a bunch of Wico pushbuttons a couple of months ago and they came with the same Cherry microswitches that the Happ's ones come with. Perhaps they were out of the cheaper switches, and had to send them with Cherry's...oh well, I am not complaining!
I think it is a hit and miss what switches come with them. Perhaps you can specify which ones when you order them? I don't know...I will try that the next time I order something.