Anyone have RS232 codes to tune the Samsung TV RVU input? Any documents I've found related to Samsung TV serial don't list the special DirecTV input. Hoping we don't have to insert some crazy macro like menu-left-right-up-down-up-down-enter.