Bought and tested the 6131n, and it works like a charm, thanks again for the good info Robman.

btw: Got this info from another forum but it looks like we have another compatible remote, the urc-8820 programmed as a hyundai "vcr" using the vcr code: 1951

That now gives us three choices:

The urc-6131n, using satellite code 1011
The urc-6131, using satellite code 1011
The urc-8820, using "vcr" code 1951 (edit: corrected)