I speculate that this is like airplane makers who get their engines from Rolls Royce. Perhaps the reactor itself comes from Westinghouse, but the rest of the plant is made by the prime vendor?