I doubt at the prices they were trying to sell them at, but then again this is why _smart_ folks would never have bought them at that amount even before the recent market pullback.  There was no reason to think that those values would continue for long.  There was an unrealistic price run-up at the end of 2017. This is the correction.

For my money... I've already payed off my x10, so making $30 a day is pretty great. I'd be very upset if I had paid more then about $2500 for it though.

As it is now, $7000 per miner is about 4 times too expensive IMHO to make sense unless you plan on being able to mine with it at the same return (~$30) for more than 8 months. 

If you aren't into alt-coin speculation, and you think things are going to recover in less than 8 months, you'd probably do better (or as good) if you put that $7,000 in Bitcoin instead.