Does anybody knows if the DM8000 is out, how much does it cost and if it is really supporting the HDTV?