Out of curiosity I looked, and they actually already have pricing for the ThunderX2 Workstation from Gigabyte -- the very one mentioned in the article: about 10

Out of curiosity I looked, and they actually already have pricing for the ThunderX2 Workstation from Gigabyte -- the very one mentioned in the article: about 10,000 GBP out of the box. https://www.avantek.co.uk/store/avantek-thunderx2-arm-workstation-thunderx2station.html https://www.avantek.co.uk/store/avantek-thunderx2-arm-workst... (They have ThunderX2 blades on the server section of their store with no prices yet, however.)