Great story. Love stories about books. My grandfather left a similar collection to me when I was about ten. All sorts of stuff from astronomy to Tolstoy. It's the reason I got into books and writing, as before I just watched TV.