I hope he is using a OEM distributor they not to expensive if you buy the housing, also what was the problem with the old distributor? bad sensor or bearing ? or coil,ignitor because unless 2 of the 3 sensors are fryed the car will still run....since this is a very simple problem as only a few things can cause the code 9 .. distrubutor,ECU (rare but does happen),wireing from distributor to ECU and timing belt off a tooth.