Novatech sent the replacement card today, and so the second machine is back up and running with the new card in my main machine. Seems ok, they had to send a 1GB version since they were out of 512MB versions. It’s not quite the same model, the 512 had an HDMI out, this one has two DVI outputs (I think they’re DVI), but I guess I’ll live. Doesn’t seem as bulky as the original one either, not sure if that’s good or bad.