a bit late but...
there is an entire culture of people who are hacking and upgrading One-For-All remotes via their computer and a simple ($5 to make) cable for the parallel port. You can read all about it at:
www.hifi-remote.com/forums
Anyway, there is an already entered "upgrade" for the WMA11 that I did a few years ago when I was setting up my single remote for the entire family room. Mapped onto a URC-6131 PVR remote it works great.