Supuestamente en la parte trasera llevan un conector usb que pone "service", y no es más que para cargar firmwares. De todas formas el firmware de esa página era de hace dos años, y seguro que ya lo tendrás cargado.
El cable hdmi te puede costar 15 eurazos de media. Dado que es digital, y que la salida de tu tarjeta de video también lo es, creo que sería una prueba que merecería la pena.