Well, it's actually the third slot that has the problem. Unfortunately, if I put the card in the 2nd slot, then the top card starts pushing over 85C. But if I use the 1st and 3rd slots, then both cards stay under 80C. Turns out I can hook up the power LED (barely clears), but not the HDD LED. So I guess it's not that much of a loss.