We usually swapped the cards with a different model. If it was a Geforce, we usually switched them with Radeons; or if there was one available, a Quadro. Yes, I've seen the behaviour on both manufacturers. And yes, some machines that were identical would have the problem, and some would not.