[Link: support.google.com]
that lists RC6 hex commands, but I don't know how to convert these to Pronto hex.