Per my Friday announcement GPU3 and GPU4 have been rebooted and updated. All four GPU cards (4 per servers) are now visible with nvidia-smi utility. It is of paramount importance that people hit these two machines hard with GPU intensive computations so that we see if that report of dead GPU cards was just a fluke or a real thing. Best, Predrag