A family friend of ours son graduate college a few year ago and never sold his books I guess. So I have various college text books from early-mid 90's. I got their price on half.com as well as some other sources and they are worth squat. What should I do? Donate them to the library?