Just curious if you happened to get a sense as to whether the Bravo HD, TNT HD and two other unnamed HD channels will be included in DirecTV's $10.99 HD package for no additional cost, or whether any or all of these new HD channels will require additional subscription premiums.