Did we really lose ABC HD?.