I'm picking up DVD player for a friend and want it to play DIVX files. My personal dvd player has no issues playing DIVX movies or dvds from east asia and such. However, I don't think any DVD player box has the info saying if they play DIVX or not. What should I look for when I browse dvd players?