I have my tractor in for that differential repair. The dealer suggested that the lifters should be adjusted, he said it should be done every 800 hours, I am at 1,450 hours, I don't know if the 800 hour adjustment was done, I bought it when it had 900 hours.
His quote was really quite high, $800...