@estech:

Thank you so much! The spreadsheet appears to give all the info needed to construct a Pronto hex sequence for each of the Velleman functions. The sequences also appear to be relatively short.

Assuming it works, I'll post the Pronto hex for the various functions for future reference.