Does anyone know anything about the Denon 3808 or the 3807? It was rumored to debut at CES. It is supposed to replace the Denon 3806. Any info would be great. Seemed like I read alot of info about it leading up to CES and then nothing since CES started and ended.... :(