To solve this problem, I went searching and found a solution. Perhaps the easiest way to covert those WMA files to something useful is the free Switch Converter. I did and it works very well; hope this helps others!
[robg adds: I tested this, and it works as described. The basic version is free; a "plus" version offers more encoding options.]

