Or equivalent with external media box? Happy owner of 42PD5300. At some point I will upgrade this for High-Def capability. The external media box of the 5300 was a major factor for me - the plasma is wall mounted and I really don't want to run more new cables through the wall. I like the look of the 7200. Does anyone know if there might be an equivalent with an external box?