Go with the 3870x2 first of all - way faster.

Regarding the cooler, you could buy 2 Zalman VF900s, they will fit on the card or you can wait for a "official" cooler to come out as the Zalman is the only one I can thing of that would fit.