Sound Editing App

1

Howdy

I have a friend who wants me to take about 400 of his mp3s and speed them up 2x, 3x, and 4x. Is there a sound editing app that can do this in a batch job? (ie. Process 10+ mp3 files at once)

Thanks