I've recently been to a planetarium which was pretty cool. It has in theory even better specs: 45 million pixels (8K has 33 million), ~500nits, 60Hz. It did seem to use PWM at very low brightness though

https://planetariums-database.org/list_projectors.php?menu=l...