By the way I would not discount Sennheiser ME80, those mics have a very nice electret capsule in them. Not high end but not low end either.
I love my ME80s, but they came to me second (or third, or fourth) hand, and they have to be
at least 25 to 30 years old by now. They are great for recording from the lawn, and I've made some great tapes with them.
Here is a JGB show that I just recorded last week:
https://archive.org/details/jgb2019-10-24.aud.flac24That was the first time I taped in 11 years and only my second time with that deck. It was a tiny room (standing room for 120 or so people) and I wasn't sure how the shotguns would work, but it sounds "ok". I might should have used my ME40s, but I was worried about crowd noise, which is bad enough with the shotguns.