Yeah, but at least you know for sure what the problem was: A piece of RAM on the card which, when hot, doesn't keep up with the card's default clock speed. You've got a work around while they ship you a new card. (Assuming they will actually ship you a new card without having the other one back first. Some companies do that if you can give 'em a credit card number to secure the cross-ship.)
_________________________
Tony Fabris