The included Windows Media Player will play them fine but I've been using dBpowerAmp and the wma 9 codec and converting my mp3's to wma's for play on the Axim. My old ears can't tell the difference and they're half the size. See
This thread for more info and links to software.