As far as I can tell, there is no way to play a video file at twice the normal speed with sound. Some other video players can play the video faster, but it also increases the pitch of the sound (everything sounds like chipmunks). I would love it if files can be played at an increased speed with normal audio (anyone else?).
Thanks,
Bizzako