I am interested in learning what your library uses for a projection system. We may have to replace ours soon, currently we use a laptop that connects to the projector (ceiling mounted) through a HDMI cord.
I would like to know what other options are out there; what do you use and how you like it?
If there is interest, I will compile a list and post the results.