Well, that's good to know. Would anyone know if the 32-bit player will work in its place, or will its use within a 64-bit OS have the same result?