Tektronix CT8500 terminal -- is it an OEM'ed Tek 4024?

One of the items I pulled out of the Black Hole this weekend was a Tektronix CT8500 terminal. It goes with their 85x0 microprocessor development systems that we've talked about here over the past year. I also snarfed the operator's manual for it, so that will appear on bitsavers soon. Bitsavers has the user's guide for the CT8100 terminal which is really a 4023 as is blatantly obvious from reading the manual. However, the operator's guide to the CT8500 doesn't make mention of any other Tektronix terminal model. On Wednesday, I'll open the cabinet and inspect the board set inside, but until then I thought someone here might be able to shed more light on this. -- "The Direct3D Graphics Pipeline" free book <http://tinyurl.com/d3d-pipeline> The Computer Graphics Museum <http://computergraphicsmuseum.org> The Terminals Wiki <http://terminals.classiccmp.org> Legalize Adulthood! (my blog) <http://legalizeadulthood.wordpress.com>