Earlier this year I got a lucky break, a company near me was moving and needed to clear out their storage. I took the job and during my cleaning I stumbled upon a BarcoData 801. I asked if they needed it, and fortunately they did not. I could buy it.. Yeay..!? I paid 2500,- NOK which is about 360,- USD. It has about 4000 hours on the clock, and no burns. There was a fault with it though, after about 30min the CRT’s died down but the HT was still running. I called the local Barco dealer and he pointed me to the problem so I replaced the HT card. Total cost 615,- USD (initial cost + repairs) Enough background story, now to the question: Was this a bargain or was I ripped off? Is there any upgrades or tweaks I may perform to get better performance out of it? All the tubes and colors look sharp. Does anyone have a user manual and/or operation manual or even a service manual? I will be able to all work myself because I am a Radio/TV Technician, although I have newer worked on projectors. All answers are gladly received.