Total Mix can also be MIDI mapped, right? So then you'd think any MIDI device should be able to mute/unmute a channel..
Separate names with a comma.