Question for Guitar Pro users?

Do any of you know a way to convert a .gp3, .gp4, or .gp5 file to an .mp3 or .wma so it can be hosted or uploaded onto a website? Would I need some kind of converter for this or what?