What to do with 1,200 CDs I don't need


I am in the process of putting all of my CDs onto hard drives (pain in the rear!) to play though my USB DAC. I will have 2 copies on separate drives, one that will only be turned on to make the backup.

I see no reason to keep the CDs so what now? I can't imagine trying to eBay 1,200 CDs one at a time. Perhaps in lots?

..Auction them here in lots?
..Take them to my local used CD store and sell them?
..Donate them to the library and get a tax deduction? If I value them at $10 each then I would save about $3,000 on my taxes. Three dollars each seems like as much or more than I would clear if I tried to sell them and I wouldn't have the hassles.

Any ideas??
herman
I get a sense from your post that you just want confirmation for what you think is the best idea, i.e. the tax deduction route. I think it's the best idea too. Simplest, easiest, and the one likely to give you the best return. It also gives the music to the largest number of people. So you can feel socially responsible too!
Maybe separate them into collections and sell with pick-up terms only? Are you near Chicago? Do you have a lot of Jazz or Classical?
I personally would keep them in storage. You never know when the hd may crash and lose everything. I have my 60K + library on a RAID 5 NAS but I am petrified that something could happen and I lose all the wonderful music I have been collecting for the past 18+ years. Also, in the future better encoding techniques could be developed so you may want to re-encode everything then.

That being said, if you want to get rid of your cds I would bring them to a used cd store. you wont get more than a $0.50 - 5.00 for them (I used to manage a record store) but you will get rid of everything quickly. You will make more money selling them on Amazon or ebay but this could take a while. How about you donate them to me?