> 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.