If you're dead set on spending that sort of money, any one of them I'm sure would do the job. But then, so does my Fiio E18 Kunlun. It drives my 300ohm HD-580s very well imo.
But since I'm replying I might as well give my schpeel on full size gone portable. In a nutshell, I'm not a fan. For one thing it's a pain in the ass to have to lug around FS headphones. For another, you expose your $500 headphones to wear and tear they don't see in your home. Thirdly, despite the practical and aesthetic issues of FS in a portable rig there's the issue of isolation. Those open backed HD650's will give zero isolation. Incoming our outgoing. So the less incoming isolation you have the more you need to turn up the volume to compete with external noise, which is not that great for your long term hearing health, but also is very annoying to people around you because you have no external isolation either. IEM's provide excellent isolation from outside noise which enables you to really enjoy your music at much lower volume.
There is a reason thousand dollar (and up) IEMs exist.....they sound fantastic, they're small and light and can be driven to very satisfying levels right from your phone/DAP. But you really don't need to spend that kind of money for good IEM's. A pair of $50 single driver IEMs can sound great and there is every sort of driver configuration at all price points to choose from.
A lot of people are put off by cramming things in their ears. I understand that, but it's like wearing contact lenses. The first time you put a contact lens in your eye, it's incredibly uncomfortable. But after a couple of days you can wear contact lenses for 12+ hours a day and never even think about them. IEMs are like that, your ears will become tolerant of them quickly.