Thanks for your reply!

I see on the Micron config screen, it can be set to "Midi Multi Channel" or "Midi SIngle Channel"

I'll pick up a keyboard some time this week, and a MIDI cable and try it out.