What is the best booster to use for my samsung smart tv? Is the one included with the tv sufficient to use with the direct tv box?