Yes, the Symbolics 3600. In the later models, Symbolics apparently got their hardware act together, but I never used any of those. There was a period in early workstations where we had one or two of everything, and finally settled on Sun workstations. The early 1980s were a time of great hardware creativity, and many dead ends.