Has anyone with a 5xs715 hooked up a CableCard? Note 2 on page 11 in the Hitachi operations manual says that "Antenna B will not be available when a CableCard is plugged in." This would imply that you cannot switch back and forth between an over-the-air signal and the cable service without unplugging the CableCard. Inconvenient to say the least, so I asked someone at Hitachi and they confirmed this is true. But Cox Cable in Fairfax VA says in their FAQ not to unplug the Cable Card once it's installed and if you do, it could take as long as five minutes for it to revalidate itself. Like most cable systems, Cox doesn't carry all the local digital channels, including PBS and WB -- so these stations would essentially be unavailable to those on cable even though the set has an over-the-air tuner. I'm hoping this isn't true -- it's a critical factor in whether I buy the unit or not. Anyone have any experience to share?