OK, so after reading the replies on this thread, I went to my friendly local hardware/lumber yard and bought a Genie remote for $29 that was compatible. I brought the other remote with but the box on the new one said, "compatible with all Intelicode remotes", so I knew I was all good.
The tenant programed it in about 60 seconds right in front of me. Yay!
Thanks as always!
