Yep, audacity is what I use with my wav recordings from Serato and can be used to make MP3 files smaller to resampling ….
