You have a fantastic setup, however there are many concerns that a person should have while choosing CRT or JVC for example.
The JVC provides an amazing picture, and when need a new bulb it's only $400 USD, while a Cine 9 or G90 to re-tube is aroung 4000 to $5000 USD, am i correct?
And as for parts, you need to have the right sources, because buying parts from Barco or Sony, i suppose the prices are very high.
I am going to buy a Projector, but the JVC. not the CRT.
I have an offer for a Barco Cine 9 (pure Cine, not 909) for less 3000 Euros than the JVC. The ptojector has around 4000 hours, but i will go to the JVC RS65.