My local channels have finally all went HD and I really want to get a HDTV tuner. I can't find any reviews on the receiver. With my employee discount I can get one for about $250.00. Is it a good decoder or should I spend more money on a different brand. Thanks in advance!