Out of the bottom three you were looking at the Mitsubishi HC9000D would be the best bang for you buck projector. You can get one for around $3500 and throws a beautiful picture. If you have the cash the JVC X70 is a nice step up because of the e-shift technology built in. It gives the overall impression of more detail/sharpness. If 3D is something of great interest the Epson 5010 would be your best option out the the ones you listed. It will offer decent 2D performance as well.
You should look into home theater shops around your area. It's nice to be able to actually see them in person. You can read as many reviews as you want but seeing them for yourself will really be the determining factor. All the ones listed throw an amazing picture. There are, though, subtle differences between all of them that make each projector unique. On a personal note when shopping last year I read countless reviews all telling me JVC was the way the to go. It turns out that, for me, DLP was the best fit for what I thought made the best overall picture quality.
Wow $3500 seems cheap, best buy had the 9000d at $5500. I will have to shop around some more I think. But thank you for the advice of course everyones tastes and preferences are different so I will have to see the picture in person in a similar environment to the one in my room, to make a decision.