There's a program that would do it... I forget if it's mp3trim or mp3directedit.

But any music program could do it if she converted to wav, edited the wav in goldwave or something, and then reconverted to mp3. There would be quality loss in goldwave on the reconversion though.