Hi John
Saving midis to SD Card is the same as saving registrations to SD Card - you just name them and save them to whatever part (1-20) of whatever folder (1-99) you wish...if that's what you mean by setting up midi pages on the 7k. Probably not I suspect...
Rog