433.9Mhz is RF not IR. If they do make an IR version of the switch (as you said), this isn't it. As far as the 7000 goes, there are a few more refinements, multiple jumps in a macro, jump back, jump forward, but those are the biggest items. Don't know what your price range is, but you might consider an RC9200, it's the Marantz version of a 6000 that has the extra buttons and the programming features. These are really quite handy. Problem is Marantz will only honor the warrantee if it's purchased from an authorized dealer. Best price from an authorized dealer (refurb) can be found here:
[Link: accessories4less.com]