In 1815 Thomas sold his collection of about 6,700 of these to the government for $23,950
.... 14 In 1815 Jefferson sold his treasured 6700-volume library, then the 
country's largest private collection, to the US government for $23,950.