$1000 is a pretty good budget, and allows for a lot of options. With those options, you should think about what you'd like to accomplish, how you'd like to record, where you'd like to put your money, and what you like for sound.
On the latter, always good to do a lot of listening (say starting with the Live Music Archive) and decide what you like. For instance, I personally haven't found that I prefer the Busman bsc1 setup that much, but many here love them, and they are in your budget and offer a lot of flexibility.
On the Sony M10 and Naiant tinybox, you'll get lots of recommendations on those since they are well regarded, but you might want to consider a different path -- which is not to say you shouldn't also consider the tinybox>M10 combo. The M10 is a good quality recorder for those who don't want to spend that much on a recorder, it is small which works for those who want to stealth, and it offers a good quality A/D stage for those who own and like to use external mic preamps. All this, plus being out for awhile, leads a lot here to use it and recommend it. And I'm among them -- I have both a M10 and a Naiant littlebox. But if you want to run phantom powered condensor mics, you'll need the M10 and a external preamp like the tinybox. And that combo costs about $500. For that price you can get an all in one recorder like the Roland R26, which will run mics without an external preamp and will allow 4 channel recording if you want to run mics and a couple of soundboard channels. Or you could spend a little more than the $500 and get a Tascam DR680 allowing you to record 6-8 channels.
Another newbie who just posted about putting together a rig is looking at a Tascam dr-40, which is an all in one recorder you can get for under $150, leaving $850 in your budget for mics, enough for AKGs, Pelusos, Earthworks, and possibly Neumann km184s if you can find a good deal. And perhaps a bit of a stretch with your budget and the DR40, but there are Earthworks and Pelusos now in the yardsale.
<insert self promotion> I have a pair of Audix m1290 mics in the yardsale for $315 which I think are great lower cost mics. These could be paired with the R26 or DR680 and allow 4 channel aud + soundboard mix recordings (or pair with the tinybox>M10 combo). Beyond those, you could get the Busman mic set with the R26 and make 4 channel recordings.
Anyway, really rambling I guess, but you could have options with most of your money to mics and just a little towards a cheaper recorder like the DR40. Or you could split your budget between recorder (or recorder plus preamp) and mics. With the R26 under $500 and the DR680 under $600, you can get mics and a recorder capable of multi-channel recording. If this setup is mainly for recording your band, you'll have access to allow soundboard and/or onstage recording, so multichannel makes a lot of sense.