[Jon gets a scoop of the coffee in a cup. He's not getting three like she'd suggested. He'd be bouncing off the walls for hours.]

Archives are not libraries. You might find them sharing a building, but they're distinct. Archives deal in unique, unpublished materials. Libraries deal with what's published.