I know that this sounds like a stupid question but I was wondering if there are any dvd players that can play WMV-HD files.