Just tried it and "viola!" I wasn't sure if maybe programming the remote to TV was for the box. It is actually for the remote. NICE!
So, I hooked up the HDMI Wireless extenders, both DirecTV remotes are set to RF. Programmed the downstairs remote to the downstairs TV and now I can turn on...