HDMI or DisplayPort to composite/yellow RCA/CVBS converter? Also here’s my Samsung GXE1395.