anybody out there have the Coolsat 8000HD and can share with us how they like it? Also, I was wondering whether or not I woul dhave to upgrade my current antenna to receive HD channels or is the HD receiver sufficient?