Should I repair body damage or sell car "as is?"

Thanks for your advice! You really think I can get $10,000 for it? I’ve already listed it on Craigslist for that price and there have been no takers after 1 week. Of course I mentioned the damage, maybe not the best idea… I was hoping to maybe attrack a buyer who does body work and would think it was a good deal. The dealer wanted to give me $4000 on trade-in!! That’s just crazy. Do you think I’d have been luck listing it elsewhere?