With the NEC 9PG+ down and no one to repair or maintain it I might be selling the projector, and two ISS 6010 switch units. The switch units have 9 RGB cards, two s-video cards, one VGA and one Mooney HDMI card.
You are better off repairing it and making good use of what tube life it has left!
I concur completely. You'd be lucky to get $100 for everything at this point, but if the tubes are good, you can easily get 3000-5000 hours out of the set, so why not fix it and use it for a few more years?