I can't find any relevant documentation for Texas Instruments but their prices were in the same ballpark as their primary competitor Symbolics, and you can find

I can't find any relevant documentation for Texas Instruments but their prices were in the same ballpark as their primary competitor Symbolics, and you can find them in this document: http://bitsavers.org/pdf/symbolics/history/Symbolics_Overview_1986.pdf http://bitsavers.org/pdf/symbolics/history/Symbolics_Overvie... So around $50-100k.