I'm not sure there is an absolute answer here.

I have a couple of ideas, neither of which I have ever tried and so both of which might be useless but the experts out there might be able to pick up the train of though so here goes...

Option 1: could you use midi file playback on the PSR do all the program setup via embedded sys-ex commands? So to set up for a particular song you select a midi file on the PSR and Play it? I fear this might confuse the "MidiTemp", or you still have a button-press nightmare scenario.

Option 2: map the style playback channels of the 9k to external channels and create custom styles with the appropriate program selections on the appropriate channels. Selecting the registration will select the style and send out a selection of program change commands to the mapped midi channels.

Hope this is of some use!

John