have him order a hd tranny from zzp if he wants a new one...
I had the same problem .. it wasnt the tranny itself it was the 4th gear shaft it gets striped you could order the hardend shaft and have that put in ... i am almost positive that is the problem