okay, found out how to disable local sat channels - that won't work for my situation either, since I can't get ABC in any form over the over the air.
Oh well, all this for a minor problem with the remote....time to let it drop and if Harmony fixes the bug, great, otherwise I just won't...