So I have the original owners manual for my 95XP 717, It says in the manual to not grease the bearing seal carrier on the drive shaft, on the XP model. Are they perhaps talking about the 95XP 800? does the 800 have the carbon ring? and the 717 has the bearing seal carrier, that should be greased?