Just my $0.02 based on a lot of other people's $0.02. M520's are generally accepted as a great starter pedal and a great pedal overall.

I'd still wait for others to chime in before you take the plunge, though.

And, slightly OT, what topeak mini pump are you looking at? Don't get the mini master blaster. I have one and it kind of sucks.