A second for the Gigabyte coolers. The Windforce coolers they put on their higher end cards are pretty good on the cooling/noise ratio. It's got 3 fans instead of 2, and still comes in a dual slot config. At least as good as the MSI, I would think.
Between the Gigabyte and the MSI, I would just go with whichever is cheapest.
On the other hand, some HD 7950s come with a bios with a boost clock (like this Sapphire
). Don't think the Gigabyte or MSI cards do. If you don't like manually fiddling with overclocking, may be a good idea to grab one of those - though you'll likely be able to push any of the above significantly higher than the boost setting with a bit of tinkering, sort of making the boost functionality pointless if you do overclock.