converting .AUD to MP3

I have a bunch of .AUD files from the game Dune 2000 that i want to convert them to MP3. I have imported one of the files as RAW but it played back as garbage. I want to know how to convert these files so i can play them on anything


OS X 10.7.4
and i have no idea what version Audacity im running, the about option is greyed out

Google brings this up: http://code.google.com/p/dune2000plusone/wiki/audioFileSpec

Import RAW is only for uncompressed files.

If normal import won’t import the files, you can record them into Audacity thus:
http://manual.audacityteam.org/help/manual/man/tutorial_recording_computer_playback_on_mac.html


Gale