you need to download this butt ugly looking player which as the new mp3pro encoder built into it
because this is a demo its limited to 64kbits, which by contrast should sound the same as a regular mp3 file at 128kbits
so, does it??
mp3pro files will have the same extension as mp3s, but to play them (i.e. take advantage of reduced file size while maintaining higher audio fidelity) you need to use the special decoder inside that rca player
happy downloading
http://www.codingtechnologies.de/mp3PROzone/index.htm