One would hope so. Do you actually have the owners manual itself or the parts diagram only? It looks to me that they will email you one should you need it. Typically you remove the deck to get access to the traction belt. Rear discharge mowers that I've done have lots more going on and it works better to remove the bagger components sometimes.

Hi James, did you manage to change the drive belt, Barry (b.copeland@sky.com)

I have a C800H model and Yes, you do need to virtually dismantle the belt, pulleys and tensioning rods system under the mower to replace the Drive and PTO belts, especially the PTO belt which runs just under the tractor floor. It's a very unfriendly system - nothing is made easy