I understand the only thing I have to do is to hope and wait my player to support MP3pro one day...

The player will probably NOT support MP3Pro any time soon (maybe never), so the only thing you can do is to re-rip your collection from the original CDs.