I just recently bought a samsung blu ray play mainly because of the allshare abilities so I can stream my media from my server which is mediatomb. I was a little disappointed to find out that it did not play my avi files streamed from mediatomb. My question is what file formats and codecs do...