They didn't replace all the chips like with the FDIV bug though. What did it cost them? Only reputation?