I have source video .avi's from a DV cam. And here's my problem...

When I look at the file information in Explorer, it says the dimensions are 720x576.

When I open them with WMP, they display at 770x576 which looks correct to my eyes.

When I open them with Realmedia Player, they display at 720x576 (Explorer says this is the correct dimension) and that looks a stretched vertically a bit.

When I open them with WinDVD, they play at 720x540 and that also looks fine.

So what are the correct dimensions???? When I encode them, who should I believe?? I don't want to deform the video in any way. So what's a boy to do?