First a question: you want to normalize an audio file to +0.25 dB RMS or -0.25 dB ?
I always thought that mp3 and mpa qre quite the same ? (mpa=mpeg audio, mpv = mpeg video).If so, you can use CoolEdit with mp3-Plug-In as Audio editor. It works for me (on mpa anayway).I'm just doing the same (extracting the audio, process it and remltiplex it)