planetarium projector
Refers specifically to the optical-mechanical device that projects stars and constellations onto a dome, not the building or facility.
A new planetarium projector was installed at the science museum.
This planetarium projector can display about 10,000 stars.