Did you look for an RC-939 remote? It's what is listed as the original remote. Your 940 may just be a remote with different colors on the remote.
I found one 939 --
Short of that, you'll end up with a replacement remote programmed as an RC-939