The New York City Hall Library at
http://www.nyc.gov/html/records/html/about/chlibrary.shtml
has just brought up their catalog online, and the librarian has asked that we urge our students to use the online catalog before going down, since they are very short-staffed, and this will save both the Library and our students a lot of time.