As Peter will tell you, at FTR or repair at a workshop parts were replaced without regard to manufacturer of the parts. They'd grab whatever part was next in the bin.