Here is a thread with a lot of discussion on this.

[Link: remotecentral.com]

I paid $250 for my Pronto about a year and half ago. It is not color and is rather bulky (compared to the Ipaq)

Last month I purchased a Color Ipaq 3765 on Ebay for $310.00 using TV Remote Controller 3.0. I used my preexisting CCF's from my Pronto and now I have a color remote a lot cheaper than a ProntoPro.

I found that even though it uses my current CCF, I had to teach it all of the Ir commands.