The hifi_remote site does have files for that particular amp. I haven't yet figured out exactly how to decode them (the Pioneer protocol has a few unique peculiarities, and I'm not sure exactly how the JP1 guys are dealing with them), but I'll get to work on it.