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??