Tektronix 4225 -- is it an X terminal?

[Richard]

See ebay item # 360132413754

That listing just includes the base unit, but thankfully has closeup
pictures of the connectors on the back.

It looks like it takes AUI ethernet or RS-232 and outputs RGB video.

Anyone familiar with these puppies?  I've not seen one before.
-- 
"The Direct3D Graphics Pipeline" -- DirectX 9 draft available for download
      <http://www.xmission.com/~legalize/book/download/index.html>

        Legalize Adulthood! <http://blogs.xmission.com/legalize/>