Yes, getting the belt loose and removing the pulley is a start, there is the hub the pulley attaches to that would have to be removed also. There is a bolt_washer setup that holds the gearcase on the shaft - many times on pre 10 series combines the bolt breaks off and allows gearcase to wear on crankshaft and at that point you might as well update crank. I believe you also have to remove rod that applies tension to the crank_shoe_supply auger belt. Some times the gearcase pulls by hand and some pt oil and other times it has to be pulled - JD service has a special tool to do this. As for seals if you have the gearcase off, replace all 3, also you have to split the gearcse to get to the seal that is right by the side sheet on the crank drive gear because the case is chamfered so the seal can't pop out easily. Check the brgs. and case closely to make sure none have spun into aluminum casing. And yes, if you want you can refill the case w_ 1 tube CH grease - parts can order the plugs needed or go back to oil. Any other questions reply back, Gg