I am streaming movies in mkv and DTS format to my ps3. I'm using PS3 Media Server and have my ps3 connected to my av receiver thru hdmi, which in turn is connected to my tv thru hdmi. My problem is, I don't get any audio from the tv when I play movies that are in DTS format. I either have to listen thru my receiver or I have to encode the movie into ac3 or DD format. Is there a setting I'm missing in my ps3 or is this a setting in my receiver?