Something less expensive
I have looked into the options you have suggested and it seems there still must be something less expensive for my application. The cheapest I have found any of those three is 1400 euro, which is quite a bit out of my price range. I would still need to buy the microphone at that price. Any other ideas?