I am starting to wonder if I have the same machine as you. When I press menu on the remote there is no antenna setup option. I have the seven following options - tv channels, radio channels, installation, channel setting, system setup, default value and accessory list. I guess I will have to...