Topic: A choice between mic's....

[mic_s]

I'm new to taping, haven't yet recorded one show. But i'm interested in stealth taping rock/metal shows with my jb3. Being a student i have a tiny budget to buy mics, but have narrowed down my choices to two... the Sony ECM-719, and ECM-MS907. I know these aren't going to be the best mics around, but it's all i can afford! Out of the two, what would be the best for the type of music and recording device i am using?
Thanks in advance if anyone can help!