Many thanks plus one question

[leonbottou]

Thanks for sharing this design. It works really nicely (I used ponoko).

You wrote somewhere that you used a cylindrical lego bricks for the push buttons. Can tell specifically which lego piece you're using? For instance this link shows bricks that do not look like your pic..