I find a couple problems with your theories about TRX40/80 and WX80:
- If WX80 is for Workstations and AMD will have 2 lineups of Threadripper CPUs, for workstations and consumers, then how will an 8 channel CPU be used with a 4 channel supporting TRX40? This would mean that if 40 and 80...