No ASICs would have been needed for an expansion card with MC88100. The interface bus of MC88100 was actually the same that was inherited by the first PowerPC

No ASICs would have been needed for an expansion card with MC88100. The interface bus of MC88100 was actually the same that was inherited by the first PowerPC CPUs a few years later, when Apple, IBM and Motorola cooperated to make the PowerPC specification, based on the IBM POWER ISA. It would not have needed any ASICs, but just some PALs to interface with the on-card memory. The expansion card would only have needed to make the on-card memory also readable and writable by the host MC68030 CPU through NuBus, which would also have required only some PALs, no ASICs. Your price estimate is likely to be around the correct value, so there is no doubt that CIA/NSA did not try to save pennies when buying all this hardware. The NeXT computer was more expensive than an IBM PC/AT, but otherwise in all this configuration there is only the MC88100 card that is added in comparison with the CAD workstations that I have used myself in 1990, at a company with a moderate budget for such acquisitions, so there is no doubt that US TLA agencies could purchase something better. A MC88100 accelerator card would have cost as much as an entire computer with its peripherals, but this just means that such a workstation would have cost as much as 2 standard CAD workstations, like the ones I used. Surely CIA/NSA could afford that.