Also the machine is well north of 100K when you include the RF ADCs and DACs in there that run a radar.
Worst case, I have multiple.