If you have a Kioti dealer close, give them a look. I just bought a ck3510se, which sounds like it might be about the size/weight you're looking for. They also have a ck4010, which I believe is the exact same frame size. The 3510 is just under 3k lbs bare weight. With FEL and loaded tires, you're well over 4k lbs, probably 4500ish at least.
I shopped around most of the major brands, and had it narrowed down to the Yanmar and Kioti. I really wanted to choose the Yanmar (can't go wrong with a Yanmar engine)...but there were a couple small things I didn't like on the Yanmar tractor. Kioti beat them on pricing by a pretty good margin too. Made it an easy choice for me. The fact that Kioti's "SE" model is only 1600 dollars more than the economy basic model, helped sway me too. The SE is basically all of the options in one package. (floor mat, cruise control, linked pedal, tilt wheel, toolbox, 2 rear remotes, telescoping lower links, side mirrors, nicer fit & finish to the operator station, and probably a few more things I'm forgetting). I'd compare the SE package to what the XR's are at LS, in terms of the added options.
I don't have my tractor yet (it'll be here thursday). So without any seat time, take my advice with a grain of salt, but I'd definitely give them a look if you can.