Just in case the streaming will not work, you can try to find a cheap DVD player with a USB port that would play DivX or avi files.