In that case, those can be found in the JP1 upgrade below. You have to create an account to download. You need Remote Master to read the file and IRScrutinizer to convert to pronto hex.

[Link: hifi-remote.com]