Unless I update this post, please do not reply since I won't be checking up
on it.
WMP doesn't do that (although iTunes does a WMA->AAC conversion). Are
you sure they are WMA files?
Updating the original post would have been more appropriate. And like I
said before, it probably didn't happen as you described it.