Barco 808 series.
NEC XG series.
Electrohome 8500 series.
Just to start the list. Most would run you around $4k with good quality tubes I believe. Get on Tim, Terry and Curt's mailing lists. All 3 resell good condition used 8" CRT units which will save you a bundle over that 7" you are being offered. Take the savings and put it into a good processor, screen, room treatments, etc.
I just noticed Curt has some 8500s coming in, and some XGs coming in soon. These would be where you are looking price wise, but much better quality image and machine.