So lets do some math!

Current eBay price for Cointerra terraminer iv = ~$10,000 (more like $9,500 with eBay fees shipping etc)
We have to sell 8 units, 8 x 9,500 = $76,000
Current Cog market cap = ~$271,000
271,000 - 84,000 = $195,000

The question: is the value of the other cognitive mining gear + Cointerra refund + 17.5 BTC we're holding > $195,000?

I would guess not...