Id just recommend going to your local music store and plug in to a bunch and find one you like. If you're planning to spend that kind of cash, you'd want to make sure you're really getting what you want as far as tone and features.
Hope that helps! Oh, and buy your neiborhood some earplugs for Christmas cause if you're gonna use this at home.... you get the idea ;)