. (and other sound libraries too). He says his mic of choice for thunderstorms is the Sennheiser MKH8040, in X-Y and ORTF positions.
(Given a lottery win, I might choose 8040s too ;-)? )
Some freak February thunderstorms rolled through the Great Lakes yesterday. I stuck a ZOOM H1n with a fuzzy cover outside for giggles. it wasn't much of a thunderstorm anyway, but I missed the best part of it, due to user error. Pro-tip: don't just push record; verify that the recorder actually starts recording...