Lo primero, es Firmware.
Lo segundo, deberías usar la búsqueda, todo esto esta mas que hablado ya.
Te diré que el único pack 100% seguro que lleva Benq (el Hitachi también se puede flashear, pero es mucho mas complicado) es el del PGR4 numero de serie 50********* en adelante y fecha de fabricación 20/08.