CasaTunes recently released a ProntoScript for the TSU9400 and the TSU9600/9800 remotes. It is open source (in other words, no protection and not compressed) and available at
CasaTunes.com/downloads.
Please don't be too critical of the software, it was my first JavaScript, but it works well and might help others with some things like multicast and interfacing to web services. Sorry, you can't use it with the Pronto emulator because of the http and UDP
It requires CasaTunes software, which you can get on a trial basis at the same download site.
Kim