The 12x36 and 13x40 sized lathes seem to have become the choice for HSM'ers (and even many job shops). I have personal experience with a Birmingham 13x36 and countless hours reading posts on these lathes and have come to a few conclusions...
With your nice sized budget, just sort through all the specs of all the brands out there and settle on the choices you want in the lathe and if a couple are really similar, then flip a coin to choose
Seriously, these lathes all seem to be so closely matched in the construction that I feel any one of them will give a home shop guy a heck of a nice lathe. As Radkins pointed out, even the lowly thought of HF has gotten some very nice write ups from owners.
If everything seems to be going well, you have obviously overlooked something........