Looks like you have a mean budget. Here's what I'm running through and I recommend it big time.
Mesa Boogie Triaxis V2 preamp (as used by Petrucci and Hetfield among others)
Mesa Boogie Simul-Class 2:90 poweramp
Eventide Harmonizer H3000-D/SE (comes with the Vai and Satriani presets)

You'll need two cabs to go to benefit from the stereo effects in the Eventide and a good noise gate (Rocktron Super Hush or ISP Decimator).

I researched this setup for a long time and did my homework on E-Bay, I managed to get good deals on each item and now I have a kick ass setup. Mind you, it took a while and it wasn't cheap but in my opinion it was well worth it. The Triaxis in particular is by far the most flexibile piece of Mesa gear out there.

However, I also have a Marshall 100DFX for recording some lead parts. I love the Marshall sound for lead but it hasnt a patch on Mesa when it comes to powerful rhythms. For recording I also use a Palmer PDI-3 (D.I.) speaker simulator, this adds a nice edge to the overall tone and simplifies the whole process.

Start saving!