If tri-x isnnt available, then I suggest to wait a while. If still not, then all three options you mentioned are great, but asus will be better in temps.
To be honest, all of them are equally good, just get an aftermarket version and you'll be fine, because the stock cooler is terrible! Choose one which is the cheapest.
The performance of the card also depends on the card temperature. so its better if u buy a card from good manufacturers whose cooling solutions are very good like msi, asus,etc..Since u are investing huge money i would say buy from those manufacturers....