For those of you that own a BEV 9200 HD Receiver hoping you can answer a few questions. Does the OTA function on this receiver? Is the clock and programing guide times determined by the address provided to BEV or can you change timezones manually on receiver to your preference?