.mkv mit HD-Sound wiedergeben?

hallo,

ich habe das problem dass ich keine mkv-dateien mit hd-sound wiedergeben kann.
ich gucke meistens über den mediaplayer meines samsung c650, der TV ist via toslink an meinen Yamaha V471 angeschlossen, darüber kann aber ja nur normales DTS weitergegeben werden. einen ARC (audio return channel) hat der TV soweit ich weiß auch nicht.

jetzt weiß ich nicht wie ich dateien mit HD-sound gucken soll bzw. gucke nur mit normalem DTS-sound, auch wenn eine DTS-HD spur vorhanden ist.
ich hatte mal versucht die mkv-dateien am PC abzuspieen (könnte es ja darüber an den TV streamen), aber der PC gibt irgendwie nur "PCM" an den AVR weiter, und wenn ich filme mit hd-audio im mediaplayer am PC abspiele, werden diese nicht richtig abgespielt, sondern laufen viel zu schnell. bei filmen mit normalem DTS habe ich das problem nicht. brauche ich bestimmte software zum abspielen? wieso wird der sound nur als PCM und nicht als DD oder DTS(-HD) an den AVR weitergegeben?

welche möglichkeit habe ich sonst noch, mkv's mit hd-sound wiederzugeben? habe eine ps3 (superslim) wo vllt bald noch eine festplatte reinkommt (hat nur 12 GB flash-speicher), kann die PS3 mit bestimmter software mkv's abspielen? wenn ich einen stick anschließe erkennt die PS3 die mkv-datei nicht.
weil wenn man damit die mkv abgespielt kriegen würde, sollte ja auch der hd-sound per HDMI an den AVR weitergegeben werden.
oder kann ich eine mkv-datei evtl. per DLNA an die PS3 streamen und so das bild + hd-sound zum AVR bekommen? habe von den möglichkeiten der PS3 leider noch garkeine ahnung, aber ich meine mal gehört zu haben dass sie mkv's abspielen kann, bei meiner superslim geht es aber anscheiend nicht.

achso falls es relevant ist, ich habe eine geforce gtx 460 als grafikkarte. die sollte doch per HDMI auch DD und DTS(-HD) sound weitergeben können, oder?

mfg