it does have the tv booster and there is a button that turns it off. So with it off switch from local ant coax and plug in to receiver then from receiver go hdmi to tv? I was hoping to leave external antenna plugged in to tv but sounds like thats the only way to use external plugs that were provided.