Can anyone give me the lowdown on how to manually enter a local HDTV channel with the 10 key on the remote? I.e. 7-1 or 9-5 and so forth. I have not been able to figure out which button enters the - dash between the numbers on this model?