Occasionally a distributor will assign a product code number that is different from the manufacturer’s code. If there is any question, ask your distributor for verification.