I think you are fortunate that someone had already placed your D9234 in Non PowerVU mode (menu, info, info, 4, 0). Without the proper remote you would have been stuck trying to program it.
I'm still fighting the download decoder menu issue but have since picked up another 9234 and it is working fine.
I'm still fighting the download decoder menu issue but have since picked up another 9234 and it is working fine.