power button - tactile button make and model number

[DevDorian]

My friend and I bought into the kickstarter, he received his first. He warned me that the power button was loose inside the box and to look for it when unboxing. It wasn't in the box or the package or anywhere, I was extremely careful in opening it to make sure it wouldn't fall out. I'm not upset or anything about it. I just want to know the manufacturer and model number of the tactile button itself so I can order 2 (power and reset) as I like the side action design (my pine is now in an enclosure that makes top-down operation impossible with other buttons). I have spend a couple hours google searching for spec sheets and such that might have this information to no avail.  

tl;dr Need to know the make and model of the power/reset tactile buttons so I can order them on Amazon or somewhere.

Thanks for reading!