The Tektronix 4207 terminal was introduced in October, 1986 at a price of $3,995.
"Tektronix offers enhanced graphics terminals", Computerworld, October 13, 1986, pg. 21