I have a Lenovo W500 and apparently, the graphics card (ati radeon) doesn't support audio output through the display port. But, connecting separately from the headphones to the RCA inputs in the TV doesn't work either. I searched for a DisplayPort->HDMI adapter that also supports a 3.5mm audio jack, but could not find one. I want to use the DisplayPort output and not VGA, to get better resolution. So, what are my options ?