ライブを隠し録音したい　Part19

F700でクラブや野外フェスで録音したいのですが、
お勧めの小さくて良い外部マイクを教えて頂きたいです。
予算は1万円前後と考えています。
以前はSANYOのデジタルカメラ、Xacti DMX-C1で録音してました。

audio-technica AT9440かSONY ECM-MS907が候補でした。
デジカメの録音と比べれば、どちらでも平気でしょうか。
よろしくお願いします。