Thanks for all the input.
We ended up going with a
H2Next, since it can also function as a recorder independent of the camera, a feature we occasionally would like to have. Plus it sounded way better than any other mic we had tried in that space.
Now the big problem is to find a long 3.5mm cord that doesn't suck.