With such a budget, I suggest that you hear the systems out with some source discs that you like and buy the one which sounds the sweetest to your ears. Don’t ask for suggestions and don’t go by what other people suggest you. Just trust your own ears.

(An afterthought - With the said budget, I doubt that you’ll spend much time hearing it, so you might as well satisfy your whims and buy the one that makes you more proud owner than the others.)