muting options for clip-on mic

[onassis]

I'm wondering if anyone out there has a way to easily mute a clip-on mic, much the same way a tuner pedal mutes a 1/4" input when engaged. Our banjo player is using an AT Pro 35, and would like to be able to cut the signal when tuning. Suggestions?

[dstratto]

I use this one. Works well.
http://www.amazon.com/Whirlwind-Micmute-Latching-Pedal-Switch/dp/B00EISX6R4

[almeriastrings]

There are also good:

http://www.performanceaudio.com/item/rolls-mm11-microphone-muting-switch/3691/

[onassis]

Awesome! I knew this would be the place to ask. It seemed obvious that something like this would exist, but I'd never seen one.