Today replaced the seal. As it turned out very easy. As I was expecting, the hydrostatic pump need not be removed. Just remove the drive belt and pulley.I've done it 873s, but it was tight. Those don't leak normally. I would pay very close attention to bearing play. I didn't think I had any play to worry about, but the seal lasted only 10 hours or so. Customer traded it in on a 650.