I have an HR20 being "installed" next Saturday. I had read that it would come with an Infrared/RF remote, but when I look at the manual online, it says that it comes with an IR remote and that an RF remote/antenna kit is optional. Has anyone here gotten one yet who can tell me if that's the case? Thanks.