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 did some research and the fair market value according to H&R Block is closer to $5,000, which would only save me $1,200 or so in taxes. At $1 each I might have to keep exploring my options.
Oh, also, don't confuse a non-profit with a charitable orgnizations - most libraries are the former but not the latter.
There's also a legal issue here. By selling them, you know longer own the rights to listen to the music. I'm no attorney, and I'm not an expert in copyright law. I have over 1300+ CD's ripped, and backed up, on a hard drive and I'm not getting rid of any of them. My HD went up in a flaming ball of crap last month and I'm glad that I still had the originals. Just think of the replacement cost if both you main HD and backup HD died.