They look to be Sanyo XF series projectors, though I can't tell which ones (possibly XF45, they had silver cases)
I think these were 10,000 lumens, long out of production so prices irrelevant, there are many Sanyo equivalents now available.
These were big-bang-for-the-buck projectors, so not too expensive comparitively, the XF-46N is still available and is $13,000 for 12000 lumens according to projector central!![]()