Another related question. What is the ATSC connection on the back of an HDTV? Is it just a coax input that comes direct from the antenna?