I'm not sure exactly what it is titled. I'm pretty sure that they would know what you are talking about, though. Last time that I was there, about two years ago, it was in the public access drawers of microfilm and was easy to find.