Dr. Johnson's library

I have long wanted to know what became of the library of Dr. Samuel Johnson (of our city), or if he had any considerable collection of books. Perhaps some of your correspondents would answer both these queries. I happen to have a few, some of which were used in compiling his Dictionary, and are full of his marks, with references to the quotations, most of which are to be found in the Dictionary. I have also his own Prayer-Book.