10304 Silver Series drive belt help

[2cyclegreenmachines]

10304 SER No. 6917431 Silver Series, I need to change the drive belt and I am not sure what to take apart. I have removed the plastic belt cover and the belt drive cable spring end. flipped it over and removed the blade nut, mulch fan, blade and blade mount plate and the belt guard plate. Found an Allen head set screw in the side of the pulley, backed that off but the belt pulley is still holding tight to the shaft. Does the belt pulley come off the shaft, or do I need to unbolt the muffler cover and engine to muffler plate and take the engine out to work on it?
David in Dayton, TX

 

[Rivets]

If this manual does not help, come back with more questions. https://www.lawnboy.com/getpub/22446

 

[2cyclegreenmachines]

The pulley was just stuck on the crankshaft from many years of not moving out of place. Soak over nigh with penetrating oil and it came loose with a tap from a wooden dowel and a small hammer.