Does anyone know of a player that will handle MP4 AVC files with a 5.1 AAC audio stream? The video plays just fine but none of the players seem capable of "downmixing" to stereo. I did find one that would play the sound all garbled. I'd hate to have to recode my entire library to stereo to use it on my phone. Thanks.