Batch changing mp3 bit rate?

[graylocks]

my son wants to listen to his music on his phone. the highest bit rate for the phone's player is 192 and most of what he has is higher than that. i can change each track in Amadeus Pro but it would have to be done song by song i think. (he's not an audiophile and will not hear the difference.) is there an application that would change an album's worth of files as a batch? btw, he probably has less than 50 songs.