I actually had a copy of Windows Media Player on my computer. So I gave it a try.
It let me select a WMA file from its "Open File" dialog box but when I selected the WMA file, I got an error saying
"The channel does not support the stream format"
and would not proceed.
So I guess I'm still looking.