The problem with doing that is the Super will first decode the file (guessing mp3pro) into .wav format and re-transcode the file into mp3 again. It wil like in above mentioned scenarios have severe loss in quality.

You should be able to get the required codec to play the original file somewhere online. just try googleing something like WMP+mp3pro+codec