If you want to just speed up the sound, there's a dead simple little command line tool that I have used before - SoundStretch.If you want to speed up the sound but preserve the pitch, things get a bit more difficult. Report