For the sake of thoroughness . . .
This is what VLC Player looks like before the menu loads <
http://i57.tinypic.com/scb0pl.jpg>:
This is what the menu looks like when it loads in VLC Player <
http://i58.tinypic.com/ng2e6f.jpg>:
This is what the movie looks like in VLC Player without the aspect ratio corrected <
http://i59.tinypic.com/6i40so.jpg>:
This is what the movie looks like in VLC Player with the aspect ratio corrected <
http://i57.tinypic.com/oh44dg.jpg>:
This is what the movie looks like in PgcEdit <
http://i58.tinypic.com/2wrlz5l.jpg>: