"One not that much smaller than the Library of Congress."