Not unusual for the yoke to get seal cut. They make repair sleeves if it's deep.

But, could be leaking through the splines too. Or even around the outside of the seal if the housing has imperfections.

I wouldn't take it back to them if they missed these things. Good news is you can fix it yourself, there's no voodoo in a 742.