If you're not in a big hurry, I'd wait and see how Oppo's new BR player shakes out. It will not be available for a couple months yet.

I do not have any first hand experience with the players you note. I have a Panasonic BD 30 and it has worked very well. On that basis, I'd say look at the newer versions, BD 35 and BD 55. Depending on your receiver's capabilities, you may need a player that decoded the formats or not. Another player that is getting a lot of praise is the new Pioneer. It is apparently the only player to output a 10 bit video stream. I have not looked into it with much energy, yet...