It might be worth checking out Gear Orphanage:

http://www.gearorphanage.com

They always have several dozen used mixers for sale on their site- I just saw a Hill for $1k and a Soundcraft for $800.

Lots of other recording gear, too.

Believe it or not, the Mackie Onyx series is OK, for the money. And it is a firewire recording interface as well. I have been using the 1640 with some success...the mic pres and EQ are a noticable improvement over the 'classic' craptacular Mackies everyone is probably talking about.