If the camcorder stays in one place, you should consider a stereo mic, the two you listed are mono, directional "camcorder mounted" shotgun mics not designed for loud audio/music capture.

If you like RODE, then look into the RODE Stereo VideoMic
http://www.bhphotovideo.com/c/product/450170-REG/Rode_STEREO_VIDEOMIC_Stereo_VideoMic_Camera.html

There are a few others to investigate (Audio Technica, NRG Research, Tascam)

If the camera is going to be moving around - but you want the audio to remain consistent, then something like a Zoom H1, H2, H2n or H4n might be appropriate. Place the digital audio recorder in the "sweet spot" of the venue and press record - synch the audio with the video during editing.

Be sure to use the manual audio gain control on the camcorder - the manual has good instructions. And your camcorder has no way to mount the mic, so an inexpensive camera bracket
http://www.bhphotovideo.com/c/product/785947-REG/Cool_Lux_MD3200_MD3200_Accessory_Bracket.html
In this example, one accessory shoe for the mic, one for a video light.