This is from the R. R. R. Behind the scenes video⦠that is a $15k microphone. Additional fun fact about it you can see in the video is it requires an additional power source to go through (7-pin connector). It was chosen probably because it is an absurdly sensitive microphone (-32db in cardioid).
11 months ago