I don't think the player would make that much difference. What format comes through will determine what to use..isn't it? Or maybe just try the two and see.
I occassionly download some videos from online and I have the option of either Quicktime (.mov) or Divx (.avi). Which has better quality?

Chowhound
Comic Vine
GameFAQs
GameSpot
Giant Bomb
TechRepublic