I used Advanced WMA Workshop which has .ogg output settings. I don't know what encoder they use inside of the program, or if they wrote their own.