コンクリートマイクというのがあるけど、高価で、余計な音を拾いそうで。