You can ass a 120MM fan on the side of the cards, these are dual slot right?
you can always change the fan speed manually in CCC or a programme such as Rivatuner. If it gets hot in other games then Vsync helps alot, like on my GTX295 it gets 70C in games like HL2 with 100% fan speed, overclocked but without Vsync it can reach 95C... (FPS up to 300)