Out of curiosity, there are now enterprise sellers offloading old Tesla cards for relatively cheap (ie K40 ~$100 - $150, k80/M40 ~$150 - $200); are these worth looking at on a budget versus the 900 or 1600 series cards? Especially given memory options.