Interesting. I interpreted the MIDI spec as meaning that CC 123 (All Notes Off) should turn off notes that were received by MIDI but other notes should continue to play, and CC120 (All Sound Off) should silence everything (including notes played by the sequencer).

@avantronica: Do you know what the general practice is for MIDI sequencers when they receive CC123?