Does any of the replacement player software support wma? If so maybe they could pick up the wma 9 codecs? Or... maybe use server-side controls to stream the files?