Real hammer prices from 8,153 books & paper lots that closed at auction. Not asking prices, not estimates — what someone paid.