We've been discussing this remote over in the JP1 forums too.
See here...
[Link: hifi-remote.com]And here...
[Link: hifi-remote.com]Like Edmund said, the black remote that you see that looks like a Cinema 7 is the old version of the HT-Pro (and just FYI, it's actually a re-badged URC-9800 Producer 8). The sites are using the wrong picture, the remote that you would actually get is a re-badged version of the current One For All URC-9910.
The best place to get it is from
X10.COM where it's currently just $7.99. If you buy 7 of them, to make you're order over $50, they'll even give you free shipping.
"X10" is the brand name used for certain home automation stuff, which is why there's an X10 forum here.