I just recently received two additional NFC readers at work for further testing and development. The USB stick is the SCL3711 model, the bigger one the SCL010. There is no support for the SCL010 in libnfc at the moment, so I will have to find a way to use this reader for our purpose of communicating with android NFC phones (we will soon order the Galaxy Nexus in addition to the Nexus S we already have). The SCL3711 is supported by the libnfc and even recommended by the developers (see http://www.libnfc.org/community/topic/331/shopping-guide/ ).
EDIT: I posted this because I got some questions regarding which NFC reader to buy for development. I’m going with the recommended one for now and will post more information when I get to use it.