I've been looking for a new graphics card for a while, and 1080Tis are currently >$500 on eBay. Mined cards are generally worth a bit less than normal used cards due to runtime, and a lot less if they were overclocked. If you're willing to sell it for $400, I'll be interested, but you won't find any buyers at your current price.