En está página puedes encontrar la lámpara a buen precio y en marca original, con cambiar solo la lámpara es suficiente, no tienes que cambiar la carcasa.
https://www.hcinema.de/lampen/index-en.php
Yo la compré en Amazón por un precio similar y la cambié yo mismo en unos pocos minutos.
Las de Optoma son Osram, marca alemana de calidad.