Hi everyone, I got a Coolsat 4000pro as tip after a DirecTV installation for a customer. Is it worthy to use the Coolsat 4000pro? This is the first and only receiver i have besides 722k from dish network. What Dish Antenna should i use to work with coolsat 4000pro? in case i do get positive...