Does anyone know any player or anything of that sort that displays the time during playback that includes hours, minutes, seconds and milliseconds or just minutes, seconds and milliseconds? (hh:mms.ms or mms.ms) For AVI files that is.

I need it use the How to fix gradual loss of sync once and for all guide, to re-place VirtualDub

I know VirtualDub does, but one my videos always gets Error fetching frame... (or something like that) kind of error. I also tried RadLight, BSPlayer, Windows Media Player 9, Winamp (including the Beta 5), The Core Media Player, and Zoom Player.