Alternativ kannst Du auch in der Listenansicht des Explorers die MP3s nach einem Kriterium sortieren wie z.B. Dateigrösse. Dann alle markieren, die erste mit Rechtsklick umbenennen und die anderen werden dann alle numerisch aufsteigend mit umbenannt. Das sollte ebenfalls genug geshuffelt sein...