Don't give up.
I've read from several sources that the 7200 will work with other remotes, universal types.

I've got a 7200 myself and have been looking for a replacement. Check out dbstalk.com, the JP1 yahoo group, bluedo.com or doblue.com, unsure which, but there are three links on the JP1 yahoo group.

JP1 is a type of interface that will allow you to program a remote that has the JP1 interface with your PC. Cables can be made or purchased. for less than $20.

I've yet to get a replacement, but drop me an e-mail from time to time and I will keep you updated on my progress.

Derek