Perhaps you may want to consider looking for a Trident Console. If you are lucky you may even find a 80B for under $15,000 otherwise a 75, 65 or 24 Series usually goes for under 8,000. You will also need to consider the cost of wiring, recap and other issues that comes with buying used consoles.
Good luck!
Long live analog!!!!