those all sound like good options. I think good OH mics are a priority for me, lately I've been building the kit mix from the overheads with great results. However there are so many options, I have no idea judging from the threads here and my experience. The ones I've had experience with (and not liked) are the Audio Technica ones.
I was looking at the Shure SM81 set, the Peluso pencil mic pair, or possibly getting another Peluso P12 so I'd have a stereo pair? I also looked at the HM1 and Cascades but I'd like to make sure I get a really fantastic overhead sound so I don't have to do a ton of tweaking and scrambling to compensate in the long run
Any ideas?