The Behringer X32 is a very powerful and surprisingly affordable digital mixer. It's what GDQ uses for all of our shows. This mixer also can also be controlled over the network via its OSC protocol.
Workflow and sound are amazing. For this money we'd go for the X32 over a full analogue mixer/outboard combo. No USB keyboard channel-naming. One-way DAW automation. Needs a tape saturation effect.