Whats a good 7.1 processsor for under 5K new

Is it a prerequisite to go with the same manufacturer as your amp?
I recommend Lexicon, either the MC-8 or the MC-12. I use them with Mac 1201's and have nothing but raves. Used is o.k.
B&K 507 Series 2 for around $3500.