There was
also a 4115 that used a raster display instead of the vector display.
-
4115/4125 uses an x86 processor
At one time, I had the full set of manuals for the 4115, while the company
I was working for was trying to write an emulation for it. The service manual
in particular seems very hard to find now.