Since I my system crashed I can't find the message on the part number for the sd card sockets, I think it would be a good idea to add it to the parts list.
John Coffman at 5:19 pm on Jul 10, 2013:Per the "Dual SD card summary" page: <<The 'doc' directory contains detailed information for over half a dozen different sockets >> (...configuration.doc)
Some folks prefer a "push-push" socket, and some prefer a "push-pull" socket. The board accommodates half a dozen different top surface-mount sockets.