Does anyone have any experience with Windows Media Player with Variable Bit Rate Files (WMA with VBR)? If there are any compatibility issues with MP3 players out there. I plan on purchasing a IPOD shuffle and am concerned about it. I heard that IPOD's are not supposed to play WMAs but that they do anyway, but was unsure about the variable bit rate WMAs. Any thoughts or experiences?