Best microphone for loud live music?

I'm looking to begin filming live shows, mostly loud music like metal, and punk. I'm looking for a good microphone to use with my Panasonic HDC-HS700K. Is the Rode VideoMic mounted shotgun a good option or would I be better off using a digital recorder (Like the Zoom H2 or H4n) and syncing the audio in post? thanks